{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:36Z","timestamp":1725663576038},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556107"},{"type":"electronic","value":"9783540472582"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55610-9_171","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:26:58Z","timestamp":1330252018000},"page":"152-178","source":"Crossref","is-referenced-by-count":5,"title":["A fifo-net model for processes with asynchronous communication"],"prefix":"10.1007","author":[{"given":"J.","family":"Fanchon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,13]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra, J.W. Klop, J.V. Tucker, Process algebra with asynchronous communication mechanism, Seminar on concurrency, LNCS 197(1985).","DOI":"10.1007\/3-540-15670-4_4"},{"key":"6_CR2","unstructured":"E. Best, Concurrent behaviours: sequences, processes and axioms, LNCS 255 (1987)."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"E. Best, COSY: its relationship to Nets and CSP, LNCS 197 (1986).","DOI":"10.1007\/3-540-17906-2_33"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"D.Brand,P.Zafiropoulos, On Communicating Finite-state Machines, JACM vol n\u21342, April 1983.","DOI":"10.1145\/322374.322380"},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0304-3975(88)90096-5","volume":"59","author":"G. Boudol","year":"1988","unstructured":"G. Boudol, I. Castellani, Concurrency and Atomicity, Theoretical Computer Science 59 (1988), pp. 25\u201384","journal-title":"Theoretical Computer Science"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"P.Degano, R.De Nicola, U.Montanari, A distributed operational semantics for CCS based on C\/E systems, Acta Informatica, 26, 1988.","DOI":"10.1007\/BF02915446"},{"key":"6_CR7","unstructured":"J. Fanchon, An Algebra of Fifo-Nets, RR LRI, to appear."},{"key":"6_CR8","unstructured":"A.Finkel, G.Memmi, Fifo nets: a new model of parallel computation, Proc. 6th conf. on Theor. Comp. Sci., LNCS 145, 1983."},{"key":"6_CR9","first-page":"224","volume":"259","author":"R. Glabeek van","year":"1987","unstructured":"R.van Glabeek, F. Vaandrager, Petri nets models for algebraic theories of concurrency, LNCS 259 (1987) 224\u2013242.","journal-title":"LNCS"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"U. Goltz, CCS and Petri Nets, LNCS 469, 1990.","DOI":"10.1007\/3-540-53479-2_14"},{"key":"6_CR11","first-page":"n\u21343","volume":"14","author":"M.G. Gouda","year":"1985","unstructured":"M.G. Gouda, L.E. Rosier, Priority networks of communicating finite state machines, SIAM J.Comput. Vol. 14, n\u21343 (1985).","journal-title":"SIAM J.Comput. Vol."},{"key":"6_CR12","first-page":"2","volume":"IV","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski, On partial languages, Fundamenta Informaticae IV. 2, 1981.","journal-title":"Fundamenta Informaticae"},{"key":"6_CR13","unstructured":"A.Kiehn, Local and Global Causes, TUM research report n\u2134 342\/23\/91 A, August 1991."},{"key":"6_CR14","unstructured":"A. Mazurkiewicz, Trace theory, LNCS 255 (1986)."},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-15670-4_10","volume":"197","author":"R. Milner","year":"1985","unstructured":"R. Milner, Lectures on a Calculus for Communicating Systems, Proc. Seminar on Concurrency, LNCS 197, 1985, pp. 197\u2013220","journal-title":"Proc. Seminar on Concurrency, LNCS"},{"key":"6_CR16","unstructured":"L.Pomello, Some equivalence notions for concurrent systems, LNCS 222 (1986)."},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt, Modeling Concurrency with Partial Orders, International Journal of Parallel Programming, vol 15 (1), 1986, pp. 36\u201391.","journal-title":"International Journal of Parallel Programming"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55610-9_171.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:44Z","timestamp":1605646844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55610-9_171"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556107","9783540472582"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55610-9_171","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}