{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:17Z","timestamp":1761611297967},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540509400"},{"type":"electronic","value":"9783540461180"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-50940-2_41","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:35:36Z","timestamp":1330202136000},"page":"272-285","source":"Crossref","is-referenced-by-count":6,"title":["An introduction to PSFd"],"prefix":"10.1007","author":[{"given":"S.","family":"Mauw","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. J.","family":"Veltink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"17_CR1","first-page":"25","volume-title":"Computer Networks and ISDN Systems 14","author":"T. Bolognesi","year":"1987","unstructured":"T. Bolognesi & E. Brinksma, Introduction to the ISO Specification Language LOTOS, in: Computer Networks and ISDN Systems 14, pp 25\u201359, North-Holland, Amsterdam, 1987."},{"key":"17_CR2","volume-title":"ASF \u2014 An algebraic specification formalism, Report CS-R8705","author":"J.A. Bergstra","year":"1987","unstructured":"J.A. Bergstra, J. Heering & P. Klint, ASF \u2014 An algebraic specification formalism, Report CS-R8705, Centre for Mathematics and Computer Science, Amsterdam, 1987."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra & J.W. Klop, Verification of an alternating bit protocol by means of process algebra, in: Math. Methods of Spec. & Synthesis of Software Systems '85, (W. Bibel & K.P. Jantke, eds.), Math. Research 31, Akademie-Verlag Berlin, pp 9\u201323, 1986.","DOI":"10.1007\/3-540-16444-8_1"},{"key":"17_CR4","first-page":"61","volume-title":"Math. & Comp. Sci. II","author":"J.A. Bergstra","year":"1986","unstructured":"J.A. Bergstra & J.W. Klop, Process algebra: specification and verification in bisimulation semantics, in: Math. & Comp. Sci. II, (M. Hazewinkel, J.K. Lenstra & L.G.L.T. Meertens, eds.), CWI Monograph 4, pp 61\u201394, North-Holland, Amsterdam, 1986."},{"key":"17_CR5","unstructured":"J.C.M. Baeten & F.W. Vaandrager, Specification and Verification of a circuit in ACP, Report P8803, University of Amsterdam, 1988."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"H. Ehrig & B. Mahr, Fundamentals of Algebraic Specifications, Vol. I, Equations and Initial Semantics, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"17_CR7","unstructured":"J.A. Goguen & J. Meseguer, Initiality, induction and computability, in: Algebraic Methods in Semantics (M. Nivat & J.C. Reynolds eds.), pp. 460\u2013541, Cambridge University Press, 1985."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"17_CR9","unstructured":"International Organization for Standardization, Information processing systems \u2014 Open systems interconnection \u2014 LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO\/TC 97\/SC 21, (E. Brinksma, ed.), 1987."},{"key":"17_CR10","volume-title":"Process Algebra as a Tool for the Specification and Verification of CIM-architectures, Report P8708","author":"S. Mauw","year":"1987","unstructured":"S. Mauw, Process Algebra as a Tool for the Specification and Verification of CIM-architectures, Report P8708, University of Amsterdam, Amsterdam, 1987."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner, A calculus of communicating systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"17_CR12","volume-title":"A Process Specification Formalism, Report P8814","author":"S. Mauw","year":"1988","unstructured":"S. Mauw & G.J. Veltink, A Process Specification Formalism, Report P8814, University of Amsterdam, Amsterdam, 1988."},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"D.M.R. Park, Concurrency and automata on infinite sequences, in: Proc. 5th GI Conf., (P. Deussen, ed.), Springer LNCS 104, pp 167\u2013183, 1981.","DOI":"10.1007\/BFb0017309"},{"key":"17_CR14","unstructured":"G.D. Plotkin, An operational semantics for CSP, in: Proc. Conf. Formal Description of Programming Concepts II, Garmisch 1982 (E. Bj\u00f8rner, ed.), pp. 199\u2013225, North-Holland, 1982."},{"key":"17_CR15","volume-title":"Verification of two communication protocols by means of process algebra, Report CS-R8606","author":"F.W. Vaandrager","year":"1986","unstructured":"F.W. Vaandrager, Verification of two communication protocols by means of process algebra, Report CS-R8606, Centre for Mathematics and Computer Science, Amsterdam, 1986."},{"key":"17_CR16","volume-title":"Correctness proofs for systolic algorithms: a palindrome recognizer, Report CS-R8747","author":"W.P. Weijland","year":"1987","unstructured":"W.P. Weijland, Correctness proofs for systolic algorithms: a palindrome recognizer, Report CS-R8747, Centre for Mathematics and Computer Science, Amsterdam, 1987. To appear in: Theoretical Foundations of VLSI design, (K. McEvoy & J.V. Tucker, eds.)"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50940-2_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:42:27Z","timestamp":1640918547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50940-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540509400","9783540461180"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-50940-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}