{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:37Z","timestamp":1762458517396},"reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558224"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0084805","type":"book-chapter","created":{"date-parts":[[2006,11,24]],"date-time":"2006-11-24T13:12:14Z","timestamp":1164373934000},"page":"386-400","source":"Crossref","is-referenced-by-count":1,"title":["Implementing LOTOS specifications by communicating state machines"],"prefix":"10.1007","author":[{"given":"G\u00fcnter","family":"Karjoth","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"ISO. LOTOS \u2014 a formal description technique based on the temporal ordering of observational behaviour. IS 8807, 1988."},{"key":"28_CR2","unstructured":"J.A. Ma\u00f1as and T. de Miguel. From LOTOS to C. In K. Turner, editor, Formal Description Techniques I, pages 79\u201384. North-Holland, 1988."},{"key":"28_CR3","unstructured":"S. Nomura, T. Hasegawa, and T. Takizuka. A LOTOS compiler and process synchronization manager. In Protocol Specification, Testing, and Verification X, pages 165\u2013184. North-Holland, 1990."},{"key":"28_CR4","unstructured":"C. Binding. Executing LOTOS behavior expressions. Research Report RZ 2118, IBM Research Division, 04\/25\/91."},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/0022-0000(84)90023-0","volume":"28","author":"R. Milner","year":"1984","unstructured":"R. Milner. A complete inference system for a class of regular behaviours. Journal of Computer and System Sciences, 28:439\u2013466, 1984.","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR6","doi-asserted-by":"crossref","unstructured":"J.A. Bergstra and J.W. Klop. A complete inference system for regular processes with silent moves. In F.R. Drake and J.K. Truss, editors, Logic Colloquium. North-Holland, 1986.","DOI":"10.1016\/S0049-237X(09)70651-2"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"D. Taubner. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, volume 369 of Lecture Notes in Computer Science. Springer Verlag, 1989.","DOI":"10.1007\/3-540-51525-9"},{"key":"28_CR8","unstructured":"G. Karjoth. Implementing process algebra specifications by state machines. In Protocol Specification, Testing and Verification VIII, pages 47\u201360. North-Holland, 1988."},{"key":"28_CR9","unstructured":"E. Dubuis. An algorithm for translating LOTOS behavior expressions into automata and ports. In Formal Description Techniques, II, pages 163\u2013177. North-Holland, 1989."},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"A. Valenzano, R. Sisto, and L. Ciminiera. Modeling the execution of LOTOS specifications by cooperating extended finite state machines. In IEEE Symp. on Parallel and Distributed Processing, Dallas, Tx, 9\u201313 December 1990.","DOI":"10.1109\/SPDP.1990.143644"},{"key":"28_CR11","unstructured":"G. Karjoth. XFSM: A formal model of communicating state machines for implementation specifications. Research Report RZ 2209, IBM Research Division, 09\/12\/1991."},{"key":"28_CR12","unstructured":"ISO. Guidelines for the Application of Estelle, Lotos and SDL. Technical Report 10167, September 1991."},{"key":"28_CR13","unstructured":"G. Karjoth, C. Binding, and J. Gustafsson. LOEWE: A LOTOS engineering workbench. Research Report RZ 2143, IBM Research Division, 06\/17\/91. A revised version will appear in Computer Networks and ISDN Systems, special issue on \u201cTools for FDTs\u201d."},{"key":"28_CR14","unstructured":"G. Karjoth. Generating Transition Graphs from LOTOS Specifications, Research Report RZ 2312, IBM Research Division, 05\/18\/1992."},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8:244\u2013263, April 1986.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"28_CR16","doi-asserted-by":"crossref","unstructured":"J.F. Groote and F. Vaandrager. An efficient algorithm for branching bisimulation and stuttering equivalence. In M.S. Paterson, editor, ICALP 90, volume 443 of Lecture Notes in Computer Science, pages 626\u2013638. Springer Verlag, 1990.","DOI":"10.1007\/BFb0032063"},{"key":"28_CR17","unstructured":"H. Garavel and J. Sifakis. Compilation and verification of LOTOS specifications. In Protocol Specification, Testing, and Verification X. pages 359\u2013376, North-Holland, 1990."}],"container-title":["Lecture Notes in Computer Science","CONCUR '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0084805.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:07:29Z","timestamp":1607551649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0084805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540558224"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0084805","relation":{},"subject":[]}}