{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:51Z","timestamp":1725455691324},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540544771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023749","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:01:03Z","timestamp":1132380063000},"page":"353-363","source":"Crossref","is-referenced-by-count":1,"title":["Finiteness conditions and structural construction of automata for all process algebras"],"prefix":"10.1007","author":[{"given":"Eric","family":"Madelaine","sequence":"first","affiliation":[]},{"given":"Didier","family":"Vergamini","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"T. Bolognesi, E. Brinksma, \u201cIntroduction to the ISO Specification Language LOTOS\u201d, in The Formal Description Technique LOTOS, North-Holland, 1988","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"37_CR2","unstructured":"J.A. Bergstra, J.W. Klop, \u201cProcess Algebra: Specification and Verification in Bisimulation Semantics\u201d, CWI Monographs, North-Holland, 1986"},{"key":"37_CR3","unstructured":"T. Bolognesi, S. A. Smolka, \u201cFundamental Results for the Verification of Observational Equivalence: a Survey\u201d, proc. of the IFIP 7 th International Symposium on Protocol Specification, Testing, and Verification, North-Holland, 1987"},{"key":"37_CR4","doi-asserted-by":"crossref","unstructured":"G. Boudol, \u201cNotes on Algebraic Calculi of Processes\u201d, Logics and Models of Concurrent Systems, NATO ASI series F13, K.Apt ed., 1985","DOI":"10.1007\/978-3-642-82453-1_9"},{"key":"37_CR5","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(85)90093-3","volume":"37","author":"R. Simone De","year":"1985","unstructured":"R. De Simone, \u201cHigher-Level Synchronising Devices in Meije-Sccs\u201d, Theoretical Computer Science 37, p245\u2013267, 1985","journal-title":"Theoretical Computer Science"},{"key":"37_CR6","volume-title":"proceedings of Forte'89 conference","author":"E. Madelaine","year":"1989","unstructured":"E. Madelaine, D. Vergamini, \u201cAUTO, a verification tool for distributed systems using reduction of automata\u201d, in proceedings of Forte'89 conference, Vancouver, North-holland, 1989"},{"key":"37_CR7","unstructured":"G.Doumenc, E. Madelaine, R. de Simone, \u201cProving Process Calculi Translations in ECRINS\u201d, Technical Report INRIA RR1192, 1990"},{"key":"37_CR8","doi-asserted-by":"crossref","unstructured":"R. Milner, \u201cA Calculus for Communicating Systems\u201d, Lectures Notes in Comput. Sci. 92, 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"37_CR9","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner, \u201cCalculi for Synchrony and Asynchrony\u201d, Theoretical Computer Science 25, p267\u2013310, 1983","journal-title":"Theoretical Computer Science"},{"key":"37_CR10","unstructured":"V. Roy, R. De Simone, \u201cAUTO \u2014 AUTOGRAPH\u201d, this volume."},{"key":"37_CR11","unstructured":"F.W. Vaandrager, J.F. Groote, \u201cStructured operational semantics and bisimulation as a congruence\u201d CWI report CS-R8845, 1988"},{"key":"37_CR12","unstructured":"D. Vergamini, \u201cVerification of Distributed Systems: an Experiment\u201d, in Formal Properties of Finite Automata and Applications, LNCS 386, 1990"}],"container-title":["Lecture Notes in Computer Science","Computer-Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0023749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T13:59:28Z","timestamp":1683295168000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540544771"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0023749","relation":{},"subject":[]}}