{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:32:27Z","timestamp":1725456747298},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540529535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029625","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"322-328","source":"Crossref","is-referenced-by-count":1,"title":["Specification & verification of higher order processes"],"prefix":"10.1007","author":[{"given":"Michael R.","family":"Hansen","sequence":"first","affiliation":[]},{"given":"Chao-Chen","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","first-page":"207","volume":"294","author":"E. Astesiano","year":"1988","unstructured":"E. Astesiano, A. Giovini, and G. Reggio, Generalized Bisimulation in Relational Specifications. In STACS 88, R. Cori and M. Wirsing (Eds.), LNCS 294, Springer-Verlag, 1988, pp. 207\u2013226.","journal-title":"LNCS"},{"key":"34_CR2","first-page":"149","volume":"351","author":"G. Boudol","year":"1989","unstructured":"G. Boudol, Towards a Lambda-Calculus for Concurrent and Communicating Systems. In TAPSOFT'89, J. Diaz and F. Orejas (Eds.), LNCS 351, Springer-Verlag, 1989, pp. 149\u2013161.","journal-title":"LNCS"},{"key":"34_CR3","unstructured":"M.R. Hansen and Zhou Chao-Chen, Specification & Verification of Higher Order Processes: A Temporal Logic Based Approach. ProCoS report ID\/DTH MRH 2\/1, 1990."},{"issue":"1","key":"34_CR4","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R. Milner, Algebraic Laws for Nondeterminism and Concurrency. JACM, Vol. 32, no. 1 1985, pp. 137\u2013161.","journal-title":"JACM"},{"key":"34_CR5","first-page":"215","volume":"299","author":"K.G. Larsen","year":"1988","unstructured":"K.G. Larsen, Proof Systems for Hennessy-Milner Logic with Recursion. In CAAP'88, M. Dauchet and M. Nivat (Eds.), LNCS 299, Springer-Verlag, 1988, pp. 215\u2013230.","journal-title":"LNCS"},{"key":"34_CR6","first-page":"201","volume":"354","author":"Z. Manna","year":"1989","unstructured":"Z. Manna and A. Pnueli, The Anchored Version of the Temporal Framework. In REX'88, J.W. de Bakker, W.-P. de Roever, and G. Rozenberg (Eds.), LNCS 354, Springer-Verlag, 1989, pp. 201\u2013284.","journal-title":"LNCS"},{"key":"34_CR7","unstructured":"R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes, Part I. Report no. ECS-LFCS-89-86, Edinburgh University, 1989."},{"key":"34_CR8","first-page":"357","volume":"366","author":"F. Nielson","year":"1989","unstructured":"F. Nielson, The Typed \u03bb-Calculus with First-Class Processes. In PARLE'89, E. Odijk, M. Rem, and J.-C. Syre (Eds.), LNCS 366, Springer-Verlag, 1989, pp. 357\u2013373.","journal-title":"LNCS"},{"key":"34_CR9","doi-asserted-by":"crossref","unstructured":"B. Thomsen, A Calculus of Higher-order Communicating Systems. In Proc. POPL'89, ACM Press, 1989, pp. 143\u2013154.","DOI":"10.1145\/75277.75290"},{"key":"34_CR10","first-page":"392","volume":"206","author":"G. Winskel","year":"1985","unstructured":"G. Winskel, A Complete Proof System for SCCS with Modal Assertions. FST and TCS'85, S.N. Maheshwari (Ed.), LNCS 206, Springer-Verlag, 1985, pp. 392\u2013410.","journal-title":"LNCS"},{"key":"34_CR11","unstructured":"Zhou Chao-Chen, A Temporal Semantics of Communicating Processes. In Proc. of Pan Pacific Computer Conference, Melbourne 1985, pp. 617\u2013630."},{"key":"34_CR12","first-page":"304","volume":"398","author":"C. Zhou","year":"1989","unstructured":"Zhou Chao-Chen, Specifying Communicating Systems with Temporal Logic. In Temporal Logic in Specification, B. Banieqbal, H. Barringer, and A. Pnueli (Eds.), LNCS 398, Springer-Verlag, 1989, pp. 304\u2013323.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029625.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:59:47Z","timestamp":1607551187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540529535"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0029625","relation":{},"subject":[]}}