{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:47Z","timestamp":1725456047762},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566625"},{"type":"electronic","value":"9783540476238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bfb0024665","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:09:15Z","timestamp":1132722555000},"page":"521-540","source":"Crossref","is-referenced-by-count":0,"title":["Process instances in LOTOS simulation"],"prefix":"10.1007","author":[{"given":"Simon","family":"Pickin","sequence":"first","affiliation":[]},{"given":"Yan","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Wiet","family":"Bouma","sequence":"additional","affiliation":[]},{"given":"Sylvie","family":"Simon","sequence":"additional","affiliation":[]},{"given":"Tanja","family":"de Groot","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"32_CR1","unstructured":"Brinksma E. (ed.): LOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. ISO 8807 (1988)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Boudol G., Castellani I.: A Non-Interleaving Semantics for CCS based on Proved Transitions. INRIA Rapport de Recherche No. 919 (1988)","DOI":"10.3233\/FI-1988-11406"},{"key":"32_CR3","unstructured":"Bolognesi T., Brinksma E.: Intoduction to the ISO Specification Language LOTOS. FORTE '88 tutorials (1988)"},{"key":"32_CR4","unstructured":"Eertink H., Wolz D.: Symbolic Execution of LOTOS specifications. FORTE '92 conference proceedings (1992)"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Ehrig H., Mahr B.: Fundamentals of Algebraic Specification 1. Springer-Verlag EATCS Series (1985)","DOI":"10.1007\/978-3-642-69962-7"},{"key":"32_CR6","unstructured":"Hoare C. A. R.: Communicating Sequential Processes. PrenticeHall International Series in Computer Science (1985)"},{"key":"32_CR7","unstructured":"Milner R.: Communication and Concurrency. Prentice-Hall International Series in Computer Science (1989)"},{"key":"32_CR8","unstructured":"Reed R. (ed.): Specification and Programming Environment for Communication Software \u2014 SPECS. To be published by Elsiever (1993)"},{"key":"32_CR9","unstructured":"Stirling C: Modal and Temporal Logics. Univ. of Edin. report ECS-LFCS-91-157 (1991)"}],"container-title":["Lecture Notes in Computer Science","FME '93: Industrial-Strength Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T04:08:16Z","timestamp":1626754096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566625","9783540476238"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0024665","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}