{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:12Z","timestamp":1761597312555},"publisher-location":"London","reference-count":22,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198543"},{"type":"electronic","value":"9781447132295"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/978-1-4471-3229-5_13","type":"book-chapter","created":{"date-parts":[[2011,11,26]],"date-time":"2011-11-26T00:07:19Z","timestamp":1322266039000},"page":"232-251","source":"Crossref","is-referenced-by-count":17,"title":["Proof Theory for \u00b5CRL: A Language for Processes with Data."],"prefix":"10.1007","author":[{"given":"Jan Friso","family":"Groote","sequence":"first","affiliation":[]},{"given":"Alban","family":"Ponse","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Cambridge University Press","author":"JCM Baeten","year":"1990","unstructured":"J.C.M. Baeten and W.P. Weijland. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press, 1990."},{"key":"13_CR2","volume-title":"Report","author":"JA Bergstra","year":"1993","unstructured":"J.A. Bergstra, I. Bethke, and A. Ponse. Process algebra with combinators. Report P9319, Programming Research Group, University of Amsterdam, 1993."},{"key":"13_CR3","volume-title":"Technical Report Logic Group Preprint Series","author":"MA Bezem","year":"1993","unstructured":"M.A. Bezem and J.F. Groote. A formal verification of the alternating bit protocol in the calculus of constructions. Technical Report Logic Group Preprint Series No. 88, Utrecht University, March 1993."},{"key":"13_CR4","volume-title":"Technical Report Logic Group Preprint Series","author":"MA Bezem","year":"1993","unstructured":"M.A. Bezem and J.F. Groote. Invariants in process algebra with data. Technical Report Logic Group Preprint Series No. 98, Utrecht University, September 1993."},{"key":"13_CR5","volume-title":"Utrecht University","author":"MA Bezem","year":"1993","unstructured":"M.A. Bezem and J.F. Groote. A correctness proof of a one bit sliding window protocol in \u00b5CRL. To appear as technical report, Logic Group Preprint Series, Utrecht University, 1993."},{"key":"13_CR6","volume-title":"Utrecht University","author":"MA Bezem","year":"1993","unstructured":"M.A. Bezem and J.F. Groote. A correctness proof of a sliding window protocol in \u00b5CRL. To appear as technical report, Logic Group Preprint Series, Utrecht University, 1993."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"D. van Dalen. Logic and Structure. Springer-Verlag, 1983.","DOI":"10.1007\/978-3-662-02382-2"},{"key":"13_CR8","volume-title":"Version 5","author":"G Dowek","year":"1993","unstructured":"G. Dowek, A. Felty, H. Herbelin, G. Huet, C. Murthy, C. Parent, C. PaulinMohring, and B. Werner. The Coq proof assistant user\u2019s guide. Version 5. 8. Technical report, INRIA \u2014 Rocquencourt, May 1993."},{"key":"13_CR9","volume-title":"Amsterdam","author":"WJ Fokkink","year":"1991","unstructured":"W.J. Fokkink. A simple specification language combining processes, time and data. Technical Report CS-R9132, CWI, Amsterdam, 1991."},{"key":"13_CR10","volume-title":"Technical Report","author":"JF Groote","year":"1992","unstructured":"J.F. Groote and H. Korver. A correctness proof of the bakery protocol in \u00b5-CRL. Technical Report 80, Logic Group Preprint Series, Utrecht University, 1992."},{"key":"13_CR11","volume-title":"Utrecht University","author":"JF Groote","year":"1993","unstructured":"J.F. Groote and J.C. van de Pol. A bounded retransmission protocol for large data packets. To appear as Technical Report, Logic Group Preprint Series, Utrecht University, 1993."},{"key":"13_CR12","volume-title":"Amsterdam","author":"JF Groote","year":"1990","unstructured":"J.F. Groote and A. Ponse. The syntax and semantics of pCRL. Report CS-R9076, CWI, Amsterdam, 1990."},{"key":"13_CR13","volume-title":"Ponse","author":"JF Groote","year":"1991","unstructured":"J.F. Groote and A. Ponse. Proof theory for \u00b5CRL. Report CS-R9138, CWI, 1991."},{"key":"13_CR14","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, 1985."},{"issue":"8","key":"13_CR15","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/27651.27653","volume":"30","author":"CAR Hoare","year":"1987","unstructured":"C.A.R. Hoare, I.J. Hayes, He Jifeng, C.C. Morgan, A.W. Roscoe, J.W. Sanders, I.H. Sorensen, J.M. Spivey, and B.A. Sufrin. Laws of programming. Communications of the ACM, 30 (8): 672\u2013686, August 1987.","journal-title":"Communications of the ACM"},{"key":"13_CR16","volume-title":"Prentice-Hall International","author":"GJ Holzmann","year":"1991","unstructured":"G.J. Holzmann. Design and Validation of Computer Protocols. Prentice-Hall International, 1991."},{"key":"13_CR17","volume-title":"A computer-checked verification","author":"H Korver","year":"1993","unstructured":"H. Korver and J. Springintveld. A computer-checked verification of Milner\u2019s scheduler. Technical report, CWI, Amsterdam, 1993. To Appear."},{"key":"13_CR18","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall International, Englewood Cliffs, 1989."},{"key":"13_CR19","volume-title":"Amsterdam","author":"A Processes","year":"1992","unstructured":"A. Ponse. Computable processes and bisimulation equivalence. Report CS-R9207, CWI, Amsterdam, January 1992."},{"key":"13_CR20","volume-title":"Technical Report Logic Group Preprint Series","author":"MPA Sellink","year":"1993","unstructured":"M.P.A. Sellink. Verifying process algebra proofs in type theory. Technical Report Logic Group Preprint Series No. 87, Utrecht University, March 1993."},{"key":"13_CR21","volume-title":"Technical Report","author":"R Simone de","year":"1989","unstructured":"R. de Simone and D. Vergamini. Aboard AUTO. Technical Report 111, INRIA, Centre Sophia-Antipolis, Valbonne Cedex, 1989."},{"key":"13_CR22","volume-title":"North-Holland","author":"AS Troelstra","year":"1988","unstructured":"A.S. Troelstra and D. van Dalen. Constructivism in Mathematics, An Introduction (vol I). North-Holland, 1988."}],"container-title":["Workshops in Computing","Semantics of Specification Languages (SoSL)"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3229-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T17:39:20Z","timestamp":1555695560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3229-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540198543","9781447132295"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3229-5_13","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1994]]}}}