{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300947},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578802"},{"type":"electronic","value":"9783540483762"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57880-3_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:36:34Z","timestamp":1330263394000},"page":"26-42","source":"Crossref","is-referenced-by-count":15,"title":["Pi-nets: A graphical form of \u03c0-calculus"],"prefix":"10.1007","author":[{"given":"Robin","family":"Milner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1017\/S0956796800000186","volume":"1","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Curien, P-L. and L\u00e9vy, J-J., Explicit substitutions, Journal of Functional Programming 1, 4 (October 1991), 375\u2013416.","journal-title":"Journal of Functional Programming"},{"key":"2_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"Berry, G. and Boudol, G., The chemical abstract machine, Journal of Theoretical Computer Science, Vol 96, pp217\u2013248, 1992.","journal-title":"Journal of Theoretical Computer Science"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Honda, K. and Tokoro, M., An object calculus for asynchronous communication, Proc. European Conference on object-oriented programming, Lecture Notes in Computer Science, Vol 512, Springer, pp133\u2013147, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"2_CR4","unstructured":"Milner, R., Action structures, Research Report LFCS-92-249, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1992."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Milner, R., The polyadic \u03c0-calculus: a tutorial, in Logic and Algebra of Specification, ed. F.L. Bauer, W. Brauer and H. Schwichtenberg, Springer Verlag, 1993, pp203\u2013246.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"2_CR6","unstructured":"Milner, R., Action structures for the \u03c0-calculus, Research Report ECS-LFCS-93-264, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh University, 1992."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Milner, R., Action calculi I: axioms and applications, Computer Science Department, Edinburgh University, 1993. Also appeared as Action calculi, or syntactic action structures, Proceedings of MFCS '93, Lecture Notes in Computer Science, Springer, 1993.","DOI":"10.1007\/3-540-57182-5_7"},{"key":"2_CR8","doi-asserted-by":"crossref","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., A calculus of mobile processes, Parts I and II, Journal of Information and Computation, Vol 100, pp1\u201340 and pp41\u201377, 1992.","journal-title":"Journal of Information and Computation"},{"key":"2_CR9","unstructured":"Parrow, J., Interaction diagrams, SICS Research Report R93:06, 1993. To appear in proceedings of REX'93 Workshop, Lecture Notes in Computer Science, Springer Verlag."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems \u2014 ESOP '94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57880-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:15:17Z","timestamp":1605647717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57880-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578802","9783540483762"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57880-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}