{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:10:35Z","timestamp":1725495035464},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422525"},{"type":"electronic","value":"9783540457404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45740-2_2","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T15:30:51Z","timestamp":1195140651000},"page":"19-22","source":"Crossref","is-referenced-by-count":2,"title":["The Flux of Interaction"],"prefix":"10.1007","author":[{"given":"Robin","family":"Milner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,28]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M. and Gordon, A.D. (1997), A calculus for cryptographic protocols: the spi calculus. Proc. 4th ACM Conference on Computer and Communications Security, ACM Press, 36\u201347.","DOI":"10.1145\/266420.266432"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G. and Boudol, G. (1992), The chemical abstract machine. Journal of Theoretical Computer Science, Vol 96, pp. 217\u2013248.","journal-title":"Journal of Theoretical Computer Science"},{"key":"2_CR3","series-title":"Lect Notes Comput Sci","first-page":"140","volume-title":"Foundations of System Specification and Computational Structures","author":"L. Cardelli","year":"2000","unstructured":"Cardelli, L. and Gordon, A.D. (2000), Mobile ambients. Foundations of System Specification and Computational Structures, LNCS 1378, 140\u2013155."},{"key":"2_CR4","unstructured":"Cattani, G.L., Leifer, J.J. and Milner, R. (2000),. Contexts and Embeddings for closed shallow action graphs. University of Cambridge Computer Laboratory, Technical Report 496. [Submitted for publication. Available at http:\/\/www.cam.cl.ac.uk\/users\/jjl21.]"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Fournet, C. and Gonthier, G. (1996), The reflexive Cham and the join calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, Florida, pp. 372\u2013385.","DOI":"10.1145\/237721.237805"},{"key":"2_CR6","series-title":"Lect Notes Comput Sci","volume-title":"Proc. MFCS 2000","author":"P.A. Gardner","year":"1893","unstructured":"Gardner, P.A. and Wischik, L.G. (2000), Explicit fusions. Proc. MFCS 2000. LNCS 1893."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Lafont, Y. (1990), Interaction nets. Proc. 17th ACM Symposium on Principles of Programming Languages (POPL 90), pp. 95\u2013108.","DOI":"10.1145\/96709.96718"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Leifer, J.J. and Milner, R. (2000), Deriving bisimulation congruences for reactive systems. Proc. CONCUR2000. [Available at http:\/\/www.cam.cl.ac.uk\/users\/jjl21. ]","DOI":"10.1007\/3-540-44618-4_19"},{"issue":"4","key":"2_CR9","doi-asserted-by":"publisher","first-page":"794","DOI":"10.1145\/322154.322167","volume":"26","author":"R. Milner","year":"1979","unstructured":"Milner, R. (1979), Flowgraphs and Flow Algebras. Journal of ACM, 26,4,1979, pp. 794\u2013818.","journal-title":"Journal of ACM"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s002360050067","volume":"33","author":"R. Milner","year":"1996","unstructured":"Milner, R. (1996), Calculi for interaction. Acta Informatica 33, 707\u2013737.","journal-title":"Acta Informatica"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J. and Walker D. (1992), A calculus of mobile processes, Parts I and II. Journal of Information and Computation, Vol 100, pp. 1\u201340 and pp. 41-77.","journal-title":"Journal of Information and Computation"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Parrow, J. and Victor, B. (1998), The fusion calculus: expressiveness and symmetry in mobile processes. Proc. LICS\u201998, IEEE Computer Society Press.","DOI":"10.1109\/LICS.1998.705654"},{"key":"2_CR13","unstructured":"Petri, C.A. (1962), Fundamentals of a theory of asynchronous information flow. Proc. IFIP Congress\u2019 62, North Holland, pp. 386\u2013390."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Pierce, B.C. and Turner, D.N. (2000), Pict: A programming language based on the pi-calculus. In Proof, Language and Interaction: Essays in Honour of Robin Milner, ed. G.D. Plotkin, C.P. Stirling and M. Tofte, MIT Press, pp. 455\u2013494.","DOI":"10.7551\/mitpress\/5641.003.0022"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"G. Rozenberg (ed.) (1997), Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations, World Scientific.","DOI":"10.1142\/9789812384720"},{"key":"2_CR16","unstructured":"Wadsworth, C.P. (1971), Semantics and pragmatics of the lambda-calculus. Dissertation, Oxford University."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Wojciechowski, P.T. and Sewell, P. (1999), Nomadic Pict: Language and infrastructure design for mobile agents. Proc. ASA\/MA\u2019 99, Palm Springs, California.","DOI":"10.1109\/ASAMA.1999.805388"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45740-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,19]],"date-time":"2024-02-19T03:21:44Z","timestamp":1708312904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45740-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422525","9783540457404"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-45740-2_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}