{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:13Z","timestamp":1725663553664},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540521488"},{"type":"electronic","value":"9783540469056"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52148-8_1","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:22:34Z","timestamp":1330204954000},"page":"1-10","source":"Crossref","is-referenced-by-count":21,"title":["Process calculi, from theory to practice: Verification tools"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Boudol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Val\u00e9rie","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Simone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didier","family":"Vergamini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"1_CR1","unstructured":"A. Arnold \u201cMec: a System for Constructing and Analysing Transition Systems\u201d, this volume"},{"key":"1_CR2","unstructured":"T. Bolognesi, M. Caneve, \u201cSquiggles, a tool for the analysis of Lotos specifications\u201d, in Proceedings BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988)."},{"key":"1_CR3","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":"1_CR4","unstructured":"R. Cleaveland, J. Parrow, B. Streffen, \u201cThe Concurrency Workbench\u201d, this volume"},{"key":"1_CR5","unstructured":"J. Godskesen, K. Larsen, M. Zeeberg, \u201cTav Users Manual\u201d, Aalborg University Report (1989)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"M. Hennessy, R. Milner, \u201cAlgebraic laws for Non-determinism and Concurrency, JACM 32, (1985)","DOI":"10.1145\/2455.2460"},{"key":"1_CR7","unstructured":"K. Larsen, \u201cContext-dependent Bisimulation between Processes, TCS (1987)"},{"key":"1_CR8","unstructured":"V. Lecompte, \u201cV\u00e9rification Automatique de Programmes Esterel\u201d, Th\u00e8se de l'Universit\u00e9 Jussieu Paris 7, (1989)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner \u201cA Calculus of Communicating Systems\u201d, LNCS 92, Springer-Verlag (1980)","DOI":"10.1007\/3-540-10235-3"},{"issue":"4","key":"1_CR10","first-page":"794","volume":"26","author":"R. Milner","year":"1979","unstructured":"R. Milner \u201cFlowgraphs and Flow Algebras\u201d, University of Edinburgh. Edinburgh. Scotland JACM, Vol. 26, No. 4, October 1979, pp 794\u2013818","journal-title":"University of Edinburgh. Edinburgh. Scotland JACM"},{"key":"1_CR11","unstructured":"R. Parikh, \u201cPropositional Dynamic Logic: A Survey\u201d, LNCS 52 (1979)"},{"key":"1_CR12","unstructured":"M. Raynal, \u201cAlgorithmique du parallelisme: le probleme de l'Exclusion Mutuelle, Dunod ed."},{"key":"1_CR13","unstructured":"V. Roy, R. de Simone, \u201cAn Autograph Primer\u201d, I.N.R.I.A. Report, to be published (1989)"},{"key":"1_CR14","unstructured":"R. de Simone, D. Vergamini \u201cAboard Auto\u201d, I.N.R.I.A. Report, to be published (1989)"},{"key":"1_CR15","unstructured":"D. Vergamini. \u201cVerification by means of observational equivalence on automata\u201d Rapport de recherche INRIA No. 501, mars 1986"},{"key":"1_CR16","unstructured":"V. Lecompte, E. Madelaine, D. Vergamini, \u201cAuto Un syst\u00e8me de v\u00e9rification de processus parall\u00e8les et communicants\u201d Rapport Technique INRIA No. 83, mars 1987"},{"key":"1_CR17","unstructured":"D. Vergamini. \u201cV\u00e9rification de r\u00e9seaux d'automates finis par \u00e9quivalence observationnelles: le syst\u00e8me Auto\u201d, Th\u00e8se de doctorat 1987"},{"key":"1_CR18","unstructured":"D. Vergamini. \u201cVerification of Distributed Systems: an Experiment\u201d, INRIA Report 934, (1988)"}],"container-title":["Lecture Notes in Computer Science","Automatic Verification Methods for Finite State Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52148-8_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:23:21Z","timestamp":1605648201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52148-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540521488","9783540469056"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-52148-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}