{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:08:26Z","timestamp":1774951706147,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540616047","type":"print"},{"value":"9783540706250","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_66","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:02:55Z","timestamp":1330293775000},"page":"389-405","source":"Crossref","is-referenced-by-count":9,"title":["Constraints as processes"],"prefix":"10.1007","author":[{"given":"Bj\u00f6rn","family":"Victor","sequence":"first","affiliation":[]},{"given":"Joachim","family":"Parrow","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"R. Amadio and M. Dam. Toward a modal theory of types for the \u03c0-calculus. 1996. To appear in the proceedings of FTRTFT'96, Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-61648-9_50"},{"key":"23_CR2","series-title":"Research Report R94\u223601","first-page":"22","volume-title":"volume 715 of Lecture Notes in Computer Science","author":"M. Dam","year":"1993","unstructured":"M. Dam. Model checking mobile processes. In E. Best, editor, CONCUR'93, 4 th Intl. Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, pages 22\u201336. Springer-Verlag, 1993. Full version in Research Report R94\u223601, Swedish Institute of Computer Science, Kista, Sweden."},{"key":"23_CR3","unstructured":"G. Ferrari, G. Modoni and P. Quaglia. Towards a semantic-based verification environment for the pi-calculus. In Proceedings of 5th Italian Conference on Theoretical Computer Science: ICTCS-95. World Scientific, 1995."},{"key":"23_CR4","first-page":"379","volume-title":"volume 788 of Lecture Notes in Computer Science","author":"B. Li","year":"1994","unstructured":"B. Li. A \u03c0-calculus specification of Prolog. In D. Sannella, editor, Proceedings of European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 379\u2013393, Edinburgh, 1994. Springer-Verlag."},{"key":"23_CR5","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."},{"key":"23_CR6","volume-title":"Technical Report ECS-LFCS-91-180","author":"R. Milner","year":"1991","unstructured":"R. Milner. The polyadic \u03c0-calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh, UK, October 1991. Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer-Verlag, 1993."},{"issue":"2","key":"23_CR7","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"R. Milner. Functions as processes. Journal of Mathematical Structures in Computer Science, 2(2):119\u2013141, 1992.","journal-title":"Journal of Mathematical Structures in Computer Science"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow and D. Walker. A calculus of mobile processes, Parts I and II. Journal of Information and Computation, 100:1\u201377, September 1992.","journal-title":"Journal of Information and Computation"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner and D. Sangiorgi. Barbed bisimulation. In W. Kuich, editor, Proc. of 19th International Colloquium on Automata, Languages and Programming (ICALP '92), volume 623 of Lecture Notes in Computer Science, pages 685\u2013695. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55719-9_114"},{"key":"23_CR10","unstructured":"R. Milner and D. Sangiorgi. The problem of \u201cweak bisimulation up-to\u201d. In R. Cleaveland, editor, CONCUR'92, 3 rd Intl. Conference on Concurrency Theory, volume 630 of Lecture Notes in Computer Science. Springer-Verlag, 1992. Revised version available as ftp:\/\/ftp.dcs.ed.ac.uk\/pub\/sad\/x.ps.Z, entitled Techniques of \u201cweak bisimulation up-to\u201d."},{"key":"23_CR11","volume-title":"volume 1023 of Lecture Notes in Computer Science","author":"J. Niehren","year":"1995","unstructured":"J. Niehren and M. M\u00fcller. Constraints for free in concurrent computation. In K. Kanchanasut and J.-J. L\u00e9vy, editors, Asian Computing Science Conference on Algorithms, Concurrency and Knowledge (ACSC '95), volume 1023 of Lecture Notes in Computer Science, Pathumthani, Thailand, 11\u201313 December 1995. Springer-Verlag."},{"key":"23_CR12","unstructured":"B. C. Pierce, D. R\u00e9my and D. N. Turner. A typed higher-order programming language based on the pi-calculus. In Workshop on Type Theory and its Application to Computer Systems, Kyoto University, July 1993."},{"issue":"2","key":"23_CR13","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1006\/inco.1995.1108","volume":"120","author":"J. Parrow","year":"1995","unstructured":"J. Parrow and D. Sangiorgi. Algebraic theories for name-passing calculi. Journal of Information and Computation, 120(2):174\u2013197, 1995.","journal-title":"Journal of Information and Computation"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"M. Pistore and D. Sangiorgi. A partition refinement algorithm for the \u03c0-calculus. 1996. To appear in the proceedings of CAV'96, Lecture Notes in Computer Science.","DOI":"10.1007\/3-540-61474-5_56"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"B. Ross. A \u03c0-calculus semantics of logical variables and unification. In S. Purushothaman and A. Zwarico, editors, Proceedings of First North American Process Algebra Workshop, Stony Brook, 1992, Workshops in Computing, pages 216\u2013230. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3217-2_13"},{"key":"23_CR16","volume-title":"PhD thesis","author":"D. Sangiorgi","year":"1992","unstructured":"D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis, Department of Computer Science, University of Edinburgh, UK, 1992."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"D. Sangiorgi. On the proof method for bisimulation (extended abstract). In J. Wiederman and P. H\u00e1jek, editors, Mathematical Foundations of Computer Science 1995 (MFCS'95), volume 969 of Lecture Notes in Computer Science, pages 479\u2013488. Springer-Verlag, 1995. Full version available electronically as ftp:\/\/ftp.dcs.ed.ac.uk\/pub\/sad\/bis-proof.ps.z.","DOI":"10.1007\/3-540-60246-1_153"},{"key":"23_CR18","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/s002360050036","volume":"33","author":"D. Sangiorgi","year":"1996","unstructured":"D. Sangiorgi. A theory of bisimulation for the \u03c0-calculus. Acta Informatica, 33:69\u201397, 1996. Earlier version published as Report ECS-LFCS-93-270, University of Edinburgh. An extended abstract appeared in LNCS 715 (Proc. CONCUR'93).","journal-title":"Acta Informatica"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"G. Smolka. A foundation for higher-order concurrent constraint programming. In J.-P. Jouannaud, editor, Proc. 1st International Conference on Constraints in Computational Logics, volume 845 of Lecture Notes in Computer Science, pages 50\u201372. Springer-Verlag, September 1994. Available as Research Report RR-94-16 from DFKI Kaiserslautern.","DOI":"10.1007\/BFb0016844"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"G. Smolka. The definition of Kernel Oz. In A. Podelski, editor, Constraints: Basics and Trends, volume 910 of Lecture Notes in Computer Science, pages 251\u2013292. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59155-9_14"},{"key":"23_CR21","series-title":"DFKI Oz documentation series","volume-title":"An Oz primer","author":"G. Smolka","year":"1995","unstructured":"G. Smolka. An Oz primer. DFKI Oz documentation series, DFKI, Saarbr\u00fccken, Germany, 1995. Available as ftp:\/\/ps-ftp.dfki.uni-sb.de\/pub\/oz\/documentation\/Primer.ps.Z."},{"key":"23_CR22","unstructured":"B. Thomsen. Calculi for Higher Order Communicating Systems. PhD thesis, Imperial College, University of London, September 1990."},{"key":"23_CR23","volume-title":"Technical Report ECRC-93-20","author":"B. Thomsen","year":"1993","unstructured":"B. Thomsen, L. Leth, S. Prasad, T.-S. Kuo, A. Kramer, F. Knabe and A. Giacalone. Facile Antigua release \u2014 programming guide. Technical Report ECRC-93-20, ECRC, M\u00fcnchen, Germany, 1993."},{"key":"23_CR24","doi-asserted-by":"crossref","unstructured":"B. Victor and F. Moller. The Mobility Workbench \u2014 a tool for the \u03c0-calculus. In D. Dill, editor, Computer Aided Verification (Proc. of CAV'94), volume 818 of Lecture Notes in Computer Science, pages 428\u2013440. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58179-0_73"},{"issue":"2","key":"23_CR25","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D. Walker","year":"1995","unstructured":"D. Walker. Objects in the \u03c0-calculus. Journal of Information and Computation, 116(2):253\u2013271, 1995.","journal-title":"Journal of Information and Computation"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_66.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:32Z","timestamp":1605647312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996]]}}}