{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:56Z","timestamp":1725455756846},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591726"},{"type":"electronic","value":"9783540492184"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026572","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:15:04Z","timestamp":1132380904000},"page":"229-234","source":"Crossref","is-referenced-by-count":0,"title":["ProCSuS: A meta system for concurrent process calculi based on SOS"],"prefix":"10.1007","author":[{"given":"Atsushi","family":"Togashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sen","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigetomo","family":"Kimura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norio","family":"Shiratori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.1994.1040","volume":"111","author":"L. Aceto","year":"1994","unstructured":"Aceto, L., Bloom, B., Vaandrager, F., Turing SOS Rules in to Equations, Information and Computation, vol.111, pp.1\u201352, 1994.","journal-title":"Information and Computation"},{"key":"11_CR2","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating process, CWI Monographs, North-Holland (1986)."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Bloon, B., Istrail, S., Meyer, A.R., Bisimulation can't be traced: Preliminary Report, in \/POPL, pp.229\u2013239, 1988","DOI":"10.1145\/73560.73580"},{"key":"11_CR4","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-50939-9_130","volume":"351","author":"G. Boudol","year":"1989","unstructured":"Boudol, G., Towards a lambda-calculus for concurrent and communicating systems, Lecture Notes in Computer Science, Vol.351, pp.149\u2013161, 1989.","journal-title":"Lecture Notes in Computer Science"},{"key":"11_CR5","unstructured":"Brinksma, E.: A Tutorial on LOTOS, Proc. IFIP Workshop on Protocol Specification, Testing and Verification V, North-Holland (1986) pp.73\u201384."},{"key":"11_CR6","unstructured":"Fokkink, W. J.: The Tyft\/Tyxt Format Reduces to Tree Rules, Proc. of the 2nd International Symposium on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science 789, Springer-Verlag (1994) pp.440\u2013453."},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1016\/0890-5401(92)90013-6","volume":"100","author":"J.F. Groote","year":"1992","unstructured":"Groote, J.F., Vaandrager, F.: Structured Operational Semantics and Bisimulation as a Congruence, Information and Computation 100 2 (1992) pp.202\u2013260.","journal-title":"Information and Computation"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Process, Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Meseguer, J., Rewriting as a Unified Model of Concurrency, in Concur'90, 1990.","DOI":"10.1145\/127056.127091"},{"key":"11_CR10","unstructured":"Milner, R., Parrow, J., Walker, D., A calculus of mobile processes, Part I and II, Reports ECS-LFCS-89-85 and-86, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989."},{"key":"11_CR11","unstructured":"Milner, R.: Communication and Concurrency, Prentice-Hall (1989)."},{"key":"11_CR12","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics, Computer Science Department, Aarhus University, DAIMI FN-19 (1981)."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Thomsen, B., A calculus of higher order communicating systems, Principle of Programming Languagepp. 143\u2013154, 1989.","DOI":"10.1145\/75277.75290"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Sen Yoshida, Atushi Togashi and Norio Shiratori: \u201cIntegrated Support Environment for Concurrent Process Calculi\u201d, Proceeding of the ACM 13th Ann. Symposium on Principles of Distributed Computing, pp.395\u2013395, 1994.","DOI":"10.1145\/197917.198175"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Parallel Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:00:20Z","timestamp":1683295220000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591726","9783540492184"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0026572","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}