{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:56:13Z","timestamp":1725530173539},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005954"},{"type":"electronic","value":"9783642005961"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00596-1_17","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T01:13:03Z","timestamp":1238116383000},"page":"227-241","source":"Crossref","is-referenced-by-count":1,"title":["The Calculus of Handshake Configurations"],"prefix":"10.1007","author":[{"given":"Luca","family":"Fossati","sequence":"first","affiliation":[]},{"given":"Daniele","family":"Varacca","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","first-page":"35","volume-title":"Proc. of the 1994 Marktoberdorf Summer School on Deductive Program Design","author":"S. Abramsky","year":"1996","unstructured":"Abramsky, S., Gay, S., Nagarajan, R.: Interaction categories and the foundations of types concurrent programming. In: Proc. of the 1994 Marktoberdorf Summer School on Deductive Program Design, pp. 35\u2013113. Springer, Heidelberg (1996)"},{"issue":"9","key":"17_CR2","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1007\/BF01191894","volume":"29","author":"S. Arun-Kumar","year":"1992","unstructured":"Arun-Kumar, S., Hennessy, M.: An efficiency preorder for processes. Acta Informatica\u00a029(9), 737\u2013760 (1992)","journal-title":"Acta Informatica"},{"key":"17_CR3","unstructured":"Bardsley, A.: Balsa: an asynchronous circuit synthesis system. Master\u2019s thesis. Department of Computer Science, University of Manchester (1998)"},{"key":"17_CR4","unstructured":"Fossati, L.: Modeling the Handshake Protocol for Asynchrony. PhD thesis, Dip. di Informatica, Univ. di Torino & Lab. Preuves Programmes et Syst\u00e8mes (PPS), Univ. Paris 7 (2009)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Fossati, L., Varacca, D.: The calculus of handshake configurations (extended version) (2008), http:\/\/www.di.unito.it\/~fossati\/","DOI":"10.1007\/978-3-642-00596-1_17"},{"key":"17_CR6","series-title":"ENTCS","volume-title":"Proc. of First International Workshop on Interactive Concurrency Experience, ICE 2008","author":"L. Fossati","year":"2008","unstructured":"Fossati, L., Varacca, D.: A Petri net model of handshake circuits. In: Proc. of First International Workshop on Interactive Concurrency Experience, ICE 2008. ENTCS. Elsevier, Amsterdam (to be published, 2008), http:\/\/www.di.unito.it\/~fossati\/"},{"issue":"1","key":"17_CR7","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Transactions on Programming Languages and Systems\u00a07(1), 80\u2013112 (1985)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR8","first-page":"363","volume-title":"Proc. of POPL 2007","author":"D.R. Ghica","year":"2007","unstructured":"Ghica, D.R.: Geometry of synthesis: a structured approach to VLSI design. In: Proc. of POPL 2007, pp. 363\u2013375. ACM Press, New York (2007)"},{"key":"17_CR9","unstructured":"http:\/\/www.handshakesolutions.com\/"},{"key":"17_CR10","unstructured":"Josephs, M., Udding, J., Yantchev, Y.: Handshake algebra. Technical Report SBU-CISM-93-1, School of Computing, Information Systems and Mathematics, South Bank University, London (1993)"},{"issue":"5","key":"17_CR11","doi-asserted-by":"publisher","first-page":"914","DOI":"10.1145\/330249.330251","volume":"21","author":"N. Kobayashi","year":"1999","unstructured":"Kobayashi, N., Pierce, B., Turner, D.: Linearity and the \u03c0-calculus. ACM Transactions on Programming Languages and Systems\u00a021(5), 914\u2013947 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR12","first-page":"198","volume-title":"Proc. of POPL 1995","author":"I. Mackie","year":"1995","unstructured":"Mackie, I.: The geometry of interaction machine. In: Proc. of POPL 1995, pp. 198\u2013208. ACM Press, New York (1995)"},{"key":"17_CR13","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1991","unstructured":"Milner, R.: Communication and Concurrency, 2nd edn. Prentice-Hall, Englewood Cliffs (1991)","edition":"2"},{"key":"17_CR14","unstructured":"Milner, R., Sangiorgi, D.: Techniques for \u201cweak bisimulation up-to\u201d. Revised version of a paper that appeared in: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630. Springer, Heidelberg (1992); available on Sangiorgi\u2019s webpage"},{"key":"17_CR15","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Monographs in Theoretical Computer Science. An EATCS Series, vol.\u00a04. Springer, Heidelberg (1985)"},{"issue":"2","key":"17_CR16","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1093\/logcom\/3.2.131","volume":"3","author":"A.W. Roscoe","year":"1993","unstructured":"Roscoe, A.W.: Unbounded nondeterminism in CSP. Journal of Logic and Computation\u00a03(2), 131\u2013172 (1993); Previously appeared in Two Papers on CSP, tech. monograph PRG-67, Oxford University Computing Laboratory(July 1988)","journal-title":"Journal of Logic and Computation"},{"key":"17_CR17","unstructured":"Udding, J.: Classification and Composition of Delay-Insensitive Circuits. PhD thesis, Department of Math. and C.S., Eindhoven University of Technology, Eindhoven (1984)"},{"key":"17_CR18","series-title":"Cambridge International Series on Parallel Computation","volume-title":"Handshake Circuits: an Asynchronous Architecture for VLSI Design","author":"K. Berkel Van","year":"1993","unstructured":"Van Berkel, K.: Handshake Circuits: an Asynchronous Architecture for VLSI Design. Cambridge International Series on Parallel Computation, vol.\u00a05. Cambridge University Press, Cambridge (1993)"},{"key":"17_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/3-540-45931-6_29","volume-title":"Foundations of Software Science and Computation Structures","author":"N. Yoshida","year":"2002","unstructured":"Yoshida, N., Honda, K., Berger, M.: Linearity and bisimulation. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 417\u2013433. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computational Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00596-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T03:52:03Z","timestamp":1558237923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00596-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005954","9783642005961"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00596-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}