{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:19:38Z","timestamp":1725517178944},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540852377"},{"type":"electronic","value":"9783540852384"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-85238-4_2","type":"book-chapter","created":{"date-parts":[[2008,8,18]],"date-time":"2008-08-18T11:34:36Z","timestamp":1219059276000},"page":"16-35","source":"Crossref","is-referenced-by-count":16,"title":["On Synchronous and Asynchronous Interaction in Distributed Systems"],"prefix":"10.1007","author":[{"given":"Rob","family":"van Glabbeek","sequence":"first","affiliation":[]},{"given":"Ursula","family":"Goltz","sequence":"additional","affiliation":[]},{"given":"Jens-Wolfhard","family":"Schicke","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"3","volume":"55","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P., Kindler, E., Desel, J.: Beyond asymmetric choice: A note on some extensions. Petri Net Newsletter\u00a055, 3\u201313 (1998)","journal-title":"Petri Net Newsletter"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-47919-2_8","volume-title":"Advances in Petri Nets 1986","author":"E. Best","year":"1987","unstructured":"Best, E.: Structure theory of Petri nets: The free choice hiatus. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol.\u00a0254, pp. 168\u2013206. Springer, Heidelberg (1987)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/3-540-12727-5_7","volume-title":"Proceedings 8th Colloquium on Trees in Algebra and Programming (CAAP 1983)","author":"E. Best","year":"1983","unstructured":"Best, E., Shields, M.W.: Some equivalence results for free choice nets and simple nets and on the periodicity of live free choice nets. In: Ausiello, G., Protasi, M. (eds.) CAAP 1983. LNCS, vol.\u00a0159, pp. 141\u2013154. Springer, Heidelberg (1983)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BFb0017386","volume-title":"(CONCUR 1991)","author":"F.S. Boer de","year":"1991","unstructured":"de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison: On the CSP hierarchy. In: Baeten, J.C.M., Groote, J.F. (eds.) CONCUR 1991. LNCS, vol.\u00a0527, pp. 127\u2013141. Springer, Heidelberg (1991)"},{"issue":"2","key":"2_CR5","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/BF02737102","volume":"25","author":"L. Boug\u00e9","year":"1988","unstructured":"Boug\u00e9, L.: On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes. Acta Informatica\u00a025(2), 179\u2013201 (1988)","journal-title":"Acta Informatica"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: Symmetric and asymmetric asynchronous interaction. Technical Report 2008-03, TU Braunschweig. Extended abstract in Proceedings 1st Interaction and Concurrency Experience (ICE 2008) on Synchronous and Asynchronous Interactions in Concurrent Distributed Systems, to appear in Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2008)","DOI":"10.1007\/978-3-540-85238-4_2"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke, J.-W.: On synchronous and asynchronous interaction in distributed systems. Technical Report 2008-04, TU Braunschweig (2008)","DOI":"10.1007\/978-3-540-85238-4_2"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/11690634_4","volume-title":"Foundations of Software Science and Computation Structures","author":"D. Gorla","year":"2006","unstructured":"Gorla, D.: On the Relative Expressive Power of Asynchronous Communication Primitives. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006. LNCS, vol.\u00a03921, pp. 47\u201362. Springer, Heidelberg (2006)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/BFb0019974","volume-title":"Advances in Petri Nets 1991","author":"R.P. Hopkins","year":"1991","unstructured":"Hopkins, R.P.: Distributable nets. In: Rozenberg, G. (ed.) APN 1991. LNCS, vol.\u00a0524, pp. 161\u2013187. Springer, Heidelberg (1991)"},{"issue":"7","key":"2_CR10","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"issue":"2-3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s00446-002-0076-2","volume":"16","author":"L. Lamport","year":"2003","unstructured":"Lamport, L.: Arbitration-free synchronization. Distributed Computing\u00a016(2-3), 219\u2013237 (2003)","journal-title":"Distributed Computing"},{"key":"2_CR12","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann Publishers, San Francisco (1996)"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1006\/inco.1999.2822","volume":"156","author":"U. Nestmann","year":"2000","unstructured":"Nestmann, U.: What is a \u2018good\u2019 encoding of guarded choice? Information and Computation\u00a0156, 287\u2013319 (2000)","journal-title":"Information and Computation"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/BF00268075","volume":"23","author":"E.-R. Olderog","year":"1986","unstructured":"Olderog, E.-R., Hoare, C.A.R.: Specification-oriented semantics for communicating processes. Acta Informatica\u00a023, 9\u201366 (1986)","journal-title":"Acta Informatica"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous pi-calculus. In: Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 1997), pp. 256\u2013265. ACM Press, New York (1997)","DOI":"10.1145\/263699.263731"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00264434","volume":"18","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Deterministic buffer synchronization of sequential processes. Acta Informatica\u00a018, 115\u2013134 (1982)","journal-title":"Acta Informatica"},{"key":"2_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-63141-0_26","volume-title":"(CONCUR 1997)","author":"P. Selinger","year":"1997","unstructured":"Selinger, P.: First-order axioms for asynchrony. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 376\u2013390. Springer, Heidelberg (1997)"},{"issue":"5","key":"2_CR18","first-page":"357","volume":"30","author":"D. Taubner","year":"1988","unstructured":"Taubner, D.: Zur verteilten Implementierung von Petrinetzen. Informationstechnik 30(5), 357\u2013370 (1988); Technical report, TUM-I 8805, TU M\u00fcnchen","journal-title":"Informationstechnik"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85238-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T12:58:41Z","timestamp":1684501121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85238-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540852377","9783540852384"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85238-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}