{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:32:56Z","timestamp":1778297576027,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540156703","type":"print"},{"value":"9783540395935","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_4","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T13:23:40Z","timestamp":1330176220000},"page":"76-95","source":"Crossref","is-referenced-by-count":17,"title":["Process algebra with asynchronous communication mechanisms"],"prefix":"10.1007","author":[{"given":"J. A.","family":"Bergstra","sequence":"first","affiliation":[]},{"given":"J. W.","family":"Klop","sequence":"additional","affiliation":[]},{"given":"J. V.","family":"Tucker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. A. Goguen","year":"1975","unstructured":"ADJ (GOGUEN, J.A., THATCHER, J.W., WAGNER, G.E. & J.B. WRIGHT), Initial algebra semantics and continuous algebras, JACM Vol. 24, Nr. 1, p.68\u201395 (1975).","journal-title":"JACM"},{"key":"4_CR2","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"D. Austry","year":"1984","unstructured":"AUSTRY, D. & G. BOUDOL, Alg\u00e8bre de processus et synchronisation, Theoretical Computer Science 30 (1984), p.91\u2013131.","journal-title":"Theoretical Computer Science"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"DE BAKKER, J.W. & J.I. ZUCKER, Denotational semantics of concurrency, Proc. 14th ACM Symp. on Theory of Computing, p.153\u2013158, 1982.","DOI":"10.1145\/800070.802188"},{"issue":"1\/2","key":"4_CR4","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. A. Bakker De","year":"1982","unstructured":"DE BAKKER, J.A. & J.I. ZUCKER, Processes and the denotational semantics of concurrency, Information and Control, Vol. 54, No. 1\/2, p.70\u2013120, 1982.","journal-title":"Information and Control"},{"key":"4_CR5","volume-title":"Een analyse van de case-study H\u03bcP","author":"J. A. Bergstra","year":"1984","unstructured":"BERGSTRA, J. A., HEERING, J., KLINT, P., & J.W. KLOP, Een analyse van de case-study H\u03bcP, mimeographed notes, Centrum voor Wiskunde en Informatica, Amsterdam 1984."},{"key":"4_CR6","volume-title":"A process algebra for the operational semantics of static data flow networks, Report IW 222\/83","author":"J. A. Bergstra","year":"1983","unstructured":"BERGSTRA, J.A. & J.W. KLOP, A process algebra for the operational semantics of static data flow networks, Report IW 222\/83, Mathematisch Centrum, Amsterdam 1983."},{"key":"4_CR7","volume-title":"Process algebra for communication and mutual exclusion. Revised version, Report CS-R8409","author":"J. A. Bergstra","year":"1984","unstructured":"BERGSTRA, J.A. & J.W. KLOP, Process algebra for communication and mutual exclusion. Revised version, Report CS-R8409, Centrum voor Wiskunde en Informatica, Amsterdam 1984."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"BERGSTRA, J.A., KLOP, J.W. & J.V. TUCKER, Algebraic tools for system construction, in: Logics of Programs, Proceedings 1983 (eds. E. Clarke and D. Kozen), Springer LNCS 164, 1984.","DOI":"10.1007\/3-540-12896-4_353"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"BRANQUART, P., LOUIS, G. & P. WODON, An analytical description of CHILL, the CCITT High Level Language, Springer LNCS 128, 1982.","DOI":"10.1007\/3-540-11196-4"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"BROCK, J.D. & W.B. ACKERMAN, Scenarios: A model of non-determinate computation, in: Proc. Formalization of Programming Concepts (eds. J. Diaz and I. Ramos), p.252\u2013259, Springer LNCS 107, 1981.","DOI":"10.1007\/3-540-10699-5_102"},{"key":"4_CR11","first-page":"83","volume":"154","author":"S. D. Brookes","year":"1983","unstructured":"BROOKES, S.D., On the relationship of CCS and CSP, Proc. 10th ICALP, Barcelona 1983 (ed. J. Diaz), Springer LNCS 154, p.83\u201396, 1983.","journal-title":"Springer LNCS"},{"key":"4_CR12","first-page":"97","volume":"154","author":"S. D. Brookes","year":"1983","unstructured":"BROOKES, S.D. & W.C. ROUNDS, Behavioural equivalence relations induced by programming logics, Proc. 10th ICALP, Barcelona 1983, Springer LNCS 154 (ed. J. Diaz), p.97\u2013108, 1983.","journal-title":"Springer LNCS"},{"key":"4_CR13","first-page":"144","volume-title":"On VLSI design, NGI-SION Proceedings 1984","author":"J. Ebergen","year":"1984","unstructured":"EBERGEN, J., On VLSI design, NGI-SION Proceedings 1984, p.144\u2013150, Nederlands Genootschap voor Informatica, Amsterdam 1984."},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1016\/S0019-9958(81)90082-6","volume":"51","author":"M. Hennessy","year":"1981","unstructured":"HENNESSY, M., A term model for synchronous processes, Information and Control 51, p.58\u201375 (1981).","journal-title":"Information and Control"},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"HOARE, C.A.R., Communicating Sequential Processes, C. ACM 21 (1978), p.666\u2013677.","journal-title":"C. ACM"},{"key":"4_CR16","unstructured":"HOARE, C.A.R., A model for Communicating Sequential Processes in: \"On the construction of programs\" (eds. R.M. McKeag and A.M. McNaughton), Cambridge University Press (1980), p.229\u2013243."},{"key":"4_CR17","unstructured":"HOARE, C., BROOKES, S. & W. ROSCOE, A theory of communicating sequential processes, Programming Research Group, Oxford University (1981). To appear in JACM."},{"key":"4_CR18","volume-title":"PROC. IFIP 74","author":"G. Kahn","year":"1974","unstructured":"KAHN, G., The semantics of a simple language for parallel programming, in: PROC. IFIP 74, North-Holland, Amsterdam 1974."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"KOYMANS, R., VYTOPIL, J. & W.P. DE ROEVER, Real-time programming and asynchronous message passing, in: Proc. of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, 1983.","DOI":"10.1145\/800221.806721"},{"key":"4_CR20","unstructured":"KUIPER, R. & W.R. DE ROEVER, Fairness assumptions for CSP in a temporal logic framework, TC2 Working Conference on the Formal Description of Programming Concepts, Proc., Garmisch 1982."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"LAMPORT, L. 'sometime\u2019 is sometimes \u2018NOT never', Tutorial on the temporal logics of programs, SRI International CSL-86, 1979.","DOI":"10.1145\/567446.567463"},{"issue":"2&3","key":"4_CR22","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0167-9260(83)80017-0","volume":"1","author":"G. J. Milne","year":"1983","unstructured":"MILNE, G.J., CIRCAL: A calculus for circuit description, Integration, Vol. 1, No. 2 & 3, 1983, p.121\u2013160.","journal-title":"Integration"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"MILNER, R., A Calculus of Communicating Systems, Springer LNCS 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"4_CR24","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"MILNER, R., Calculi for synchrony and asynchrony, Theor. Comp. Sci. 25 (1983), p.267\u2013310.","journal-title":"Theor. Comp. Sci."},{"key":"4_CR25","unstructured":"OBBINK, H., personal communication, April 1984."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"PNUELI, A., The temporal logic of programs, in: Proc. 19th Ann. Symp. on Foundations of Computer Science, IEEE, p.46\u201357, 1977.","DOI":"10.1109\/SFCS.1977.32"},{"key":"4_CR27","first-page":"1","volume-title":"Mathematical Centre Tracts 159","author":"M. Rem","year":"1983","unstructured":"REM, M., Partially ordered computations, with applications to VLSI design, Proc. 4th Advanced Course on Foundations of Computer Science, Part 2 (eds. J.W. de Bakker and J. van Leeuwen), Mathematical Centre Tracts 159, p.1\u201344, Mathematisch Centrum, Amsterdam 1983."},{"key":"4_CR28","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0304-3975(84)90068-9","volume":"30","author":"R. Simone De","year":"1984","unstructured":"DE SIMONE, R., On MEIJE and SCCS: infinite sum operators vs. non-guarded definitions, Theoretical Computer Science 30 (1984), p.133\u2013138.","journal-title":"Theoretical Computer Science"},{"key":"4_CR29","unstructured":"VAN DE SNEPSCHEUT, J.L.A., Trace Theory and VLSI Design, Ph.D. Thesis, Eindhoven University of Technology, 1983."},{"key":"4_CR30","first-page":"561","volume":"140","author":"G. Winskel","year":"1982","unstructured":"WINSKEL, G., Event structure semantics for CCS and related languages, Proc. ICALP 82, Springer LNCS 140, p.561\u2013576, 1982.","journal-title":"Springer LNCS"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"WINSKEL, G., Synchronisation trees, Proc. 10th ICALP (ed. J. Diaz), Barcelona 1983, Springer LNCS 154, p.695\u2013711.","DOI":"10.1007\/BFb0036949"}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:08:45Z","timestamp":1605625725000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}