{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:29Z","timestamp":1725456269867},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354050110X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0017129","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:30:09Z","timestamp":1132709409000},"page":"27-43","source":"Crossref","is-referenced-by-count":2,"title":["On models and algebras for concurrent processes"],"prefix":"10.1007","author":[{"given":"Ludmila A.","family":"Cherkasova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Algebre de Processus et Synchronization","author":"D. Austry","year":"1984","unstructured":"Austry D., Boudol G. Algebre de Processus et Synchronization. Theoret. Comput. Sci. Vol. 30, No 1, North Holland, Amsterdam, 1984."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-18419-8_9","volume":"280","author":"L. Aceto","year":"1987","unstructured":"Aceto L., De Nicola R., Fantechi A. Testing Equivalences for Event Structures. LNCS, Vol. 280, p. 1\u201320, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR3","unstructured":"Baeten J., Bergstra J., Klop J. An operational semantics for process algebra. Report CS-R8522 Centrum voor Wiskunde en Informatica, 1985."},{"issue":"3","key":"3_CR4","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S.D. Brookes","year":"1984","unstructured":"Brookes S.D., Hoare C.A.R., Roscoe A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No 3, pp. 560\u2013599, 1984.","journal-title":"Journal of ACM"},{"key":"3_CR5","first-page":"109","volume-title":"Process Algebra for Synchronous Communication. \u2014 Information and Control, Vol. 60","author":"J. Bergstra","year":"1984","unstructured":"Bergstra J., Klop G. Process Algebra for Synchronous Communication. \u2014 Information and Control, Vol. 60, pp. 109\u2013137, North Holland, Amsterdam, 1984."},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-17660-8_52","volume":"249","author":"G. Boudol","year":"1987","unstructured":"Boudol G., Castellani I. On the semantics of Concurrency: Partial Orders and Transition System. LNCS, Vol. 249, p. 123\u2013137, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/BFb0029355","volume":"16","author":"R.H. Campbell","year":"1974","unstructured":"Campbell R.H., Haberman A.N. The Specification of Process Synchronization by Path Experissions. LNCS, Vol. 16, p. 89\u2013102, 1974.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Cherkasova L., Kotov V. Descriptive and Analytical process algebras. Will appear in proceedings of 9-th European workshop on Theory and Applications of Petri Nets.","DOI":"10.1007\/3-540-52494-0_26"},{"key":"3_CR9","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1007\/3-540-18419-8_13","volume":"280","author":"P. Degano","year":"1987","unstructured":"Degano P., De Nicola R., Montanari U. CCS is an (Augmented) Contact-Free C\/E Systems. LNCS, Vol. 280, p. 144\u2013165, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR10","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-13345-3_18","volume":"172","author":"U. Goltz","year":"1984","unstructured":"Goltz U., Mycroft A. On the relationship of CCS and Petri Nets. LNCS, Vol. 172, p. 196\u2013208, 1984.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/BFb0036914","volume":"154","author":"U. Goltz","year":"1983","unstructured":"Goltz U., Mycroft A. Processes of Place-Transitions Nets. LNCS, Vol. 154, p. 264\u2013177, 1983.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR12","unstructured":"Hoare C.A.R A model for Communicating Sequential Processes. Technical Monograph Prg-22, Computing Laboratory, University of Oxford, 1982."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Hoare C.A.R. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/3-540-08921-7_55","volume":"64","author":"V.E. Kotov","year":"1978","unstructured":"Kotov V.E. An algebra for parallelism based on Petri Nets. LNCS, Vol. 64, p. 39\u201355, 1978.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR15","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/3-540-15204-0_17","volume":"188","author":"V.E. Kotov","year":"1984","unstructured":"Kotov V.E., Cherkasova L.A. On structural properties of generalized processes. LNCS, Vol. 188, p. 288\u2013306, 1984.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P.E. Lauer","year":"1979","unstructured":"Lauer P.E., Torrigiani P.R., Shields M.W. COSY \u2014 A System Specification Language Based on Paths and Processes. Acta Informatica, vol. 12, p. 109\u2013158, 1979.","journal-title":"Acta Informatica"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Milner R. Calculus of Communicating Systems. LNCS, Vol. 92, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"3_CR18","first-page":"267","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner R. Calculi for Synchrony and Asynchrony Theoret. Comput. Sci. Vol. 25, North Holland, p. 267\u2013310, 1983.","journal-title":"Comput. Sci."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen M., Plotkin G., Winskel G. Petri Nets, Event Structures and Domains. Theoret. Comp. Sci. 13, p. 85\u2013108, 1981.","journal-title":"Theoret. Comp. Sci."},{"key":"3_CR20","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1007\/3-540-17906-2_34","volume":"255","author":"E.R. Olderog","year":"1987","unstructured":"Olderog E.R. TCSP: Theory of Communicating Sequential Processes. LNCS, Vol. 255, p. 441\u2013465, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"3_CR21","unstructured":"Petri C.A. Non-sequential Processes, GMD-ISF, Rep. 77-05, 1977."},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BFb0016222","volume":"222","author":"L. Pomello","year":"1986","unstructured":"Pomello L. Some equivalenve notions for concurrent systems. An overview. LNCS, Vol. 222, p. 381\u2013400, 1986.","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"3_CR23","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V.R. Pratt","year":"1987","unstructured":"Pratt V.R. Modelling Concurrency with Partial Orders. International Journal of Parallel Programming. Vol. 15, No 1, p. 33\u201371, 1987.","journal-title":"International Journal of Parallel Programming"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Reizig W. Petri Nets: An Introduction, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"3_CR25","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BFb0022473","volume":"70","author":"M.W. Shields","year":"1979","unstructured":"Shields M.W. Adequate Path Expressions. LNCS, Vol. 70, p. 249\u2013265, 1979.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1988"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0017129.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T11:36:04Z","timestamp":1683286564000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0017129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354050110X"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0017129","relation":{},"subject":[]}}