{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:40:19Z","timestamp":1742596819398,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575290"},{"type":"electronic","value":"9783540482116"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57529-4_67","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:06:50Z","timestamp":1330261610000},"page":"338-347","source":"Crossref","is-referenced-by-count":0,"title":["Some results about logical descriptions of non deterministic behaviours"],"prefix":"10.1007","author":[{"given":"David","family":"Janin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"29_CR1","doi-asserted-by":"crossref","unstructured":"A. Arnold. Mec: a system for constructing and analysing transition systems. In J. Sifakis, editor, Automatic Verification of Finite State Systems, pages 117\u2013132. Springer-Verlag, 1989. LNCS 407.","DOI":"10.1007\/3-540-52148-8_11"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"A. Arnold. Verification and comparison of transition systems. In M.-C. Gaudel and J. P. Jouannaud, editors, Theory And Practice Of Software Development. Springer-Verlag, 1993. LNCS 668.","DOI":"10.1007\/3-540-56610-4_60"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"E. Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science (vol. B), pages 995\u20131072. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"29_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y. Girard","year":"1987","unstructured":"J-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013110, 1987.","journal-title":"Theoretical Computer Science"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"M. Hennessy and R. Milner. Observing nondeterminism and concurrency. In J. de Backer and M. van Leeuwen, editors, 7th Int. Coll. on Automata, Languages and Programming. Springer-Verlag, 1980. LNCS 85.","DOI":"10.1007\/3-540-10003-2_79"},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"M. Hennessy and R.Milner. Algebraic laws for nondeterminism and concurrency. J. Assoc. Comput. Mach., 32:137\u2013161, 1985.","journal-title":"J. Assoc. Comput. Mach."},{"key":"29_CR7","unstructured":"W. Hodges. Model theory. Encyclopedia of mathematics and its application. Cambridg University Press, 1993."},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"D. Park. Concurrency and automata on infinite sequences. In 5th GI Conf. on Theoret. Comput. Sct., pages 167\u2013183, Karlsruhe, 1981. LNCS 104.","DOI":"10.1007\/BFb0017309"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"V. Pratt. A decidable \u03bc-calculus. In Proc. 22nd Symp. on Foundations of Comput. Sci., pages 421\u2013427, 1981.","DOI":"10.1109\/SFCS.1981.4"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57529-4_67.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:10:49Z","timestamp":1742595049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57529-4_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575290","9783540482116"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57529-4_67","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}