{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:15Z","timestamp":1725485535799},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_18","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:43:21Z","timestamp":1180651401000},"page":"276-291","source":"Crossref","is-referenced-by-count":6,"title":["NTIF: A General Symbolic Model for Communicating Sequential Processes with Data"],"prefix":"10.1007","author":[{"given":"Hubert","family":"Garavel","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Lang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry, G. Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation. Science Of Computer Programming, 19(2), 1992.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"18_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Invariants in Process Algebra with Data","author":"M. Bezem","year":"1994","unstructured":"M. Bezem, J. Groote. Invariants in Process Algebra with Data. Proc. CONCUR\u201994, LNCS 836."},{"key":"18_CR3","series-title":"Lect Notes Comput Sci","volume-title":"IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems","author":"M. Bozga","year":"1999","unstructured":"M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, L. Mounier. IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. Proc. FM\u201999, LNCS 1708."},{"key":"18_CR4","series-title":"Lect Notes Comput Sci","volume-title":"IF-2.0: A Validation Environment for Component-Based Real-Time Systems","author":"M. Bozga","year":"2002","unstructured":"M. Bozga, S. Graf, L. Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems Proc. CAV\u20192002, LNCS 2404."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"S. Budkowski, P. Dembinski. An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks and ISDN Systems, 14(1), 1988.","DOI":"10.1016\/0169-7552(87)90084-5"},{"key":"18_CR6","unstructured":"CEPSCO. Common Electronic Purse Specification-Technical Specification version 2.3, 1999. http:\/\/www.cepsco.com\/ ."},{"key":"18_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45669-4","volume-title":"STG: A Symbolic Test Generation Tool","author":"D. Clarke","year":"2002","unstructured":"D. Clarke, T. J\u00e9ron, V. Rusu, E. Zinovieva. STG: A Symbolic Test Generation Tool. Proc. TACAS\u20192002, LNCS 2280."},{"key":"18_CR8","unstructured":"H. Garavel, F. Lang, R. Mateescu. An Overview of CADP 2001. Technical Report RT 254, INRIA, 2001."},{"key":"18_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45937-5_3","volume-title":"Compiler Construction using LOTOS NT","author":"H. Garavel","year":"2002","unstructured":"H. Garavel, F. Lang, R. Mateescu. Compiler Construction using LOTOS NT. Proc. Compiler Construction 2002, LNCS 2304."},{"key":"18_CR10","unstructured":"H. Garavel, J. Sifakis. Compilation and Verification of LOTOS Specifications. Proc. PSTV\u201990. North-Holland."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"J. Groote, M. Reniers. Algebraic Process Verification. Proc. Handbook of Process Algebra, chapter 17. North Holland, 2001.","DOI":"10.1016\/B978-044482830-9\/50035-7"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"M. Hennessy, M. Lin. Symbolic Bisimulations. Theoretical Computer Science, 138, 1995.","DOI":"10.1016\/0304-3975(94)00172-F"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"G. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5), 1997.","DOI":"10.1109\/32.588521"},{"key":"18_CR14","unstructured":"ISO\/IEC. LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, 1989."},{"key":"18_CR15","unstructured":"ISO\/IEC. Enhancements to LOTOS (E-LOTOS). International Standard 15437, 2001."},{"key":"18_CR16","series-title":"Lect Notes Comput Sci","volume-title":"Implementing LOTOS Specifications by Communicating State Machines","author":"G. Karjoth","year":"1992","unstructured":"G. Karjoth. Implementing LOTOS Specifications by Communicating State Machines. Proc. CONCUR\u201992, LNCS 630."},{"key":"18_CR17","unstructured":"N. Lynch, M. Tuttle. An Introduction to I\/O automata. CWI-Quarterly, 2(3), 1989."},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"E.-R. Olderog. Nets, Terms and Formulas, Cambridge Tracts in Theoretical Computer Science 23. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511526589"},{"key":"18_CR19","unstructured":"J.-P. Queille. Le systeme CESAR: description, sp\u00e9cification et analyse des applications r\u00e9parties. Universit\u00e9 Scientifique et M\u00e9dicale de Grenoble (Grenoble, France) 1982."},{"key":"18_CR20","unstructured":"W. de Roever, F. de Boer, U. Hanneman, J. Hooman, Y. Lakhnech, M. Poel, J. Zwiers. Concurrency Veri.cation-Introduction to Compositional and Noncompositional Methods, Cambridge Tracts in Theoretical Computer Science 54. 2001."},{"key":"18_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45499-3","volume-title":"An Approach to Symbolic Test Generation","author":"V. Rusu","year":"2000","unstructured":"V. Rusu, L. du Bousquet, T. J\u00e9ron. An Approach to Symbolic Test Generation. Proc. IFM\u201900, LNCS 1945."},{"key":"18_CR22","unstructured":"J.-P. Schwartz. QUASAR, une r\u00e9alisation du syst\u00e8me CESAR: description, sp\u00e9cification et analyse des applications r\u00e9parties. Th\u00e8se de Doctorat, Institut National Polytechnique de Grenoble (France), 1983."},{"key":"18_CR23","unstructured":"M. Sighireanu. Contribution \u00e1 la d\u00e9finition et \u00e1 l\u2019impl\u00e9mentation du langage \u201cExtended LOTOS\u201d. Th\u00e8se de Doctorat, Universit\u00e9 Joseph Fourier (Grenoble, France), 1999."},{"key":"18_CR24","unstructured":"M. Sighireanu. LOTOS NT User\u2019s Manual (Version 2.1). INRIA projet VASY. ftp:\/\/ftp.inrialpes.fr\/pub\/vasy\/traian\/manual.ps.Z , 2000."},{"key":"18_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-51525-9","volume-title":"Finite Representations of CCS and TCSP Programs by Automata and Petri Nets","author":"D. Taubner","year":"1989","unstructured":"D. Taubner. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, LNCS 369. 1989."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:17:50Z","timestamp":1556450270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}