{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:14:41Z","timestamp":1725459281337},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540133728"},{"type":"electronic","value":"9783540389293"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/bfb0030326","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T15:19:29Z","timestamp":1138202369000},"page":"433-442","source":"Crossref","is-referenced-by-count":1,"title":["Models and operators for nondeterministic processes"],"prefix":"10.1007","author":[{"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,21]]},"reference":[{"key":"41_CR1","first-page":"83","volume":"154","author":"S.D. Brookes","year":"1983","unstructured":"Brookes S.D. \"On the relationship of CCS and CSP\" Proc. ICALP '83, Volume 154, pp. 83\u201396; (1983).","journal-title":"Proc. ICALP '83"},{"key":"41_CR2","volume-title":"Theoretical Foundations of Programming Methodology","author":"R.B. Burstall","year":"1982","unstructured":"Burstall, R.B. and Goguen, J.A. \"Algebras, Theories and Freeness: an Introduction for Computer Scientists\" in Theoretical Foundations of Programming Methodology (M. Broy and G. Schmidt eds), Reidel, Dodrecht, (1982)."},{"key":"41_CR3","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1965","unstructured":"Cohn, P.M. \"Universal Algebra\" Harper and Row, New York (1965)."},{"doi-asserted-by":"crossref","unstructured":"Courcelle, E. and Nivat, M. \"Algebraic Families of Interpretations\", Proc. 17th FOCS Annual Symposium, Houston, (1976).","key":"41_CR4","DOI":"10.1109\/SFCS.1976.3"},{"key":"41_CR5","series-title":"Internal Report","first-page":"115","volume-title":"Two complete Axiom Systems for a Theory of Communicating Sequential Processes","author":"R. Nicola De","year":"1983","unstructured":"De Nicola, R. \"Two complete Axiom Systems for a Theory of Communicating Sequential Processes\".Internal Report CSR-154-83, University of Edinburgh, (1983). A short version in Proc. FCT'83, Volume 158, Springer-Verlag, Berlin pp. 115\u2013126."},{"doi-asserted-by":"crossref","unstructured":"De Nicola, R. and Hennessy, M. \"Testing equivalences for processes\", Proc. ICALP '83, LNCS 154, (1983). Ext. version to appear in Theoretical Computer Science.","key":"41_CR6","DOI":"10.1007\/BFb0036936"},{"issue":"1","key":"41_CR7","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G. and Wright, J.B. \"Initial algebra semantics and continuous algebras\" Journal of ACM 24, No 1, 68\u201395, (1977).","journal-title":"Journal of ACM"},{"key":"41_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10284-1","volume-title":"\"Algebraic Semantics\", Volume 99","author":"I. Guessarian","year":"1981","unstructured":"Guessarian, I. \"Algebraic Semantics\", Volume 99, Springer-Verlag, Berlin (1981)."},{"unstructured":"Hennessy, M. \"Synchronous and Asynchronous Experiments on Processes\", Technical Report CSR-125-82, University of Edinburgh, (1982).","key":"41_CR9"},{"unstructured":"Hennessy, M. \"A Model for Nondeterministic Machines\", Technical Report CSR-135-83, pp. 299\u2013309, (1983).","key":"41_CR10"},{"key":"41_CR11","first-page":"299","volume":"85","author":"M. Hennessy","year":"1980","unstructured":"Hennessy, M., Milner, R. \"On Observing Nondeterminism and Concurrency\", LNCS 85, pp. 299\u2013309, (1980).","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R. \"Communicating Sequential Processes\", CACM Vol. 21, No8, (1978).","key":"41_CR12","DOI":"10.1145\/359576.359585"},{"unstructured":"Hoare, C.A.R. \"A Model for Communicating Sequential Processes\", Technical Monograph Prg-22, Computing Laboratory, University of Oxford, (1982).","key":"41_CR13"},{"unstructured":"Hoare, C.A.R., Brookes, S.D. and Roscoe, A.D. \"A Theory of Communicating Sequential Processes\", Technical Monograph Prg-16, Computing Laboratory, University of Oxford (1981). To appear in Journal of ACM.","key":"41_CR14"},{"unstructured":"Ichbiach, J.D. et al. \"Reference Manual for the ADA programming language\", MIL-STD-18 15A, (1983).","key":"41_CR15"},{"unstructured":"Margaria, I. and Zacchi, M. \"Modelli per processi comunicanti: confronto tra la teoria dei CSP e CCS\", Cnet project Technical Report No 96, (1983).","key":"41_CR16"},{"key":"41_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"\"A Calculus of Communicating Systems\", Volume 92","author":"R. Milner","year":"1980","unstructured":"Milner, R. \"A Calculus of Communicating Systems\", Volume 92, Springer-Verlag, Berlin (1980)."},{"doi-asserted-by":"crossref","unstructured":"Rounds, W.C. and Brookes, S.D. \"Possible futures, acceptances, refusals and communicating processes\", Proc. 22nd FOCS Nashville, (1981).","key":"41_CR18","DOI":"10.1109\/SFCS.1981.36"},{"doi-asserted-by":"crossref","unstructured":"Scott, I.S. \"Data types as lattices\", SIAM J. on Computing, vol. 5, No 3, (1976).","key":"41_CR19","DOI":"10.1137\/0205037"},{"unstructured":"Stoy, J. \"Denotational semantics: the Scott-Strachey approach to programming language theory\", MIT Press, (1977).","key":"41_CR20"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,9]],"date-time":"2019-02-09T05:33:37Z","timestamp":1549690417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030326"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133728","9783540389293"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0030326","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1984]]}}}