{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:10:37Z","timestamp":1725455437538},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540167838"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016263","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:39:17Z","timestamp":1131860357000},"page":"386-395","source":"Crossref","is-referenced-by-count":4,"title":["A complete inference system for an algebra of regular acceptance models"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Brookes S., Hoare T., Rounds W. \"A Theory of Communicating Sequential Processes\". JACM Vol.31 No3, 1984.","DOI":"10.1145\/828.833"},{"key":"34_CR2","unstructured":"Graf S., \"A Complete Inference System for an Algebra of Regular Acceptance Models\" Research Report RR581, IMAG, 1986."},{"key":"34_CR3","unstructured":"Graf S., Sifakis J. \"A Logic for the Description of non deterministic Programs and their Properties\", Research report RR511, IMAG, 1984, to appear in Information and Control"},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Graf S., Sifakis J. \"From Synchronization Tree Logic to Acceptance Model Logic\" Workshop on Logics of Programs, LNCS 193, 1985.","DOI":"10.1007\/3-540-15648-8_11"},{"key":"34_CR5","doi-asserted-by":"crossref","unstructured":"Hennessy M. \"Acceptance Trees\", JACM Vol.32 No4, 1985","DOI":"10.1145\/4221.4249"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Milner R. \"A Calculus of Communicating Systems\" LNCS 92, 1979","DOI":"10.1007\/3-540-10235-3"},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Milner R. \"A Complete Inference System for a Class of Regular Behaviours\" JCSS Vol.28, 1984","DOI":"10.1016\/0022-0000(84)90023-0"},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Olderog E. \"Specification or iented programming in TCSP\", Logics and Models of Concurrent Systems, NATO Asi Series F Vol. 13, 1985","DOI":"10.1007\/978-3-642-82453-1_14"},{"key":"34_CR9","unstructured":"Rounds W., Brookes S. \"Possible Futures, Acceptance, Refusals and Communicating Processes\" 22nd Symp. on Foundation of Comp. Sci., 1985"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1986"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016263.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:35:51Z","timestamp":1607549751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016263"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540167838"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0016263","relation":{},"subject":[]}}