{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:24:06Z","timestamp":1754483046220,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":22,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540544771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023720","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:01:03Z","timestamp":1132380063000},"page":"65-75","source":"Crossref","is-referenced-by-count":8,"title":["Auto\/autograph"],"prefix":"10.1007","author":[{"given":"Val\u00e9rie","family":"Roy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert de","family":"Simone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"A. Arnold \u201cMec: a System for Constructing and Analysing Transition Systems\u201d, in Acts of the Workshop on Automatic Verification Methods for Finite State Systems, LNCS (1989)","DOI":"10.1007\/3-540-52148-8_11"},{"key":"8_CR2","volume-title":"Generation of Graphic Language-oriented Design Environments","author":"B. Backlund","year":"1989","unstructured":"B. Backlund, P. Forslund, O. Hagsand, B. Pehrson, \u201cGeneration of Graphic Language-oriented Design Environments\u201d, 10th IFIP Protocol Specification, Testing and Verification\u201d, Twente, North-Hooland (1989)"},{"key":"8_CR3","unstructured":"G. Berry, G. Gonthier, \u201cThe Esterel Synchronous Programming Language: Design, Semantics, Implementation\u201d, to appear in Comp. Sci. Prog. (1989)"},{"key":"8_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":"8_CR5","doi-asserted-by":"crossref","unstructured":"G. Boudol, V. Roy, R. de Simone, D. Vergamini, \u201cProcess Calculi, from Theory to Practice: Verification Tools\u201d, in Acts of the Workshop on Automatic Verification Methods for Finite State Systems, LNCS (1989)","DOI":"10.1007\/3-540-52148-8_1"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"G. Boudol, K. Larsen, \u201cGraphical Versus Logical Specifications\u201d, INRIA Research Report 1104 (1989).","DOI":"10.1007\/3-540-52590-4_40"},{"key":"8_CR7","unstructured":"E. Brinskma, T. Bolognesi, \u201cIntroduction to the ISO Specification Language Lotos\u201d, The Formal Description Technique Lotos, North-Holland (1989)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E. Emerson, A. Sistla, \u201cAutomatic Verification of Finite-State Concurrent Systems using Temporal Logic Specifications: a practical approach\u201d, Proc. 10th ACM POPL (1983).","DOI":"10.1145\/567067.567080"},{"key":"8_CR9","unstructured":"R. Cleaveland, J. Parrow, B. Streffen, \u201cA semantics Based Verification Tool for Finite State Systems\u201d, in Proceedings of the Ninth International Symposium on Protocol Specification, Testing, and Verification, North-Holland (1989)."},{"key":"8_CR10","unstructured":"J.C. Fernandez, \u201cAldebaran: un syst\u00e8me de v\u00e9rification par r\u00e9duction de processus communicants, French Thesis, IMAG Grenoble (1987)."},{"key":"8_CR11","unstructured":"R. van Glabbeek \u201cThe Linear Time \u2014 Branching Time Spectrum\u201d, CWI Report RvG 8801"},{"key":"8_CR12","unstructured":"R. van Glabbeek, W. Weijland, \u201cBranching Time and Abstraction in Bisimulation Semantics\u201d, Proceedings 11th IFIP World Comp. Congress, San Francisco (1989)."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"J.F. Groote, F. Vaandrager, \u201cStructured Operational Semantics and Bisimulation as a Congruence\u201d, Proceedings 16th ICALP, Stresa, LNCS (1989).","DOI":"10.1007\/BFb0035774"},{"key":"8_CR14","unstructured":"J. Godskesen, K. Larsen, M. Zeeberg, \u201cTAV (Tools for Automatic Verification) Users Manual\u201d, University of Aalborg R 89\u201319 (1989)."},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"E. Madelaine, D. Vergamini, \u201cFiniteness Conditions and Structural Construction of Automata for all Process Algebras\u201d, this volume (1990)","DOI":"10.1090\/dimacs\/003\/19"},{"key":"8_CR16","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"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner \u201cCalculi for Synchrony and Asynchrony\u201d, TCS 25, (1983)","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"8_CR18","unstructured":"E. Madelaine, R. de Simone, \u201cEcrins, un Laboratorie de Preuve pour les Calculs de Processus\u201d, (in french), Inria Research Report 672 (1987)."},{"key":"8_CR19","unstructured":"A. Ressouche, \u201cOcauto\u201d, Esterel Technical Documents, CMA-Ecoles des Mines (Sophia-Antipolis) (1990)"},{"key":"8_CR20","unstructured":"V. Roy, \u201cAutograph: un Outil d'Analyse Graphique de Processus Parall\u00e8les Communicants\u201d, French Thesis, Universit\u00e9 de Nice (1990)"},{"key":"8_CR21","unstructured":"V. Roy, R. de Simone, \u201cAn Autograph Primer\u201d, I.N.R.I.A. Technical Report 112, (1989)"},{"key":"8_CR22","unstructured":"R. de Simone, D. Vergamini \u201cAboard Auto\u201d, I.N.R.I.A. Technical Report 111 (1989)"}],"container-title":["Lecture Notes in Computer Science","Computer-Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023720.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T18:51:42Z","timestamp":1736103102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023720"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540544771"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0023720","relation":{},"subject":[]}}