{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:07Z","timestamp":1725663667779},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540544302"},{"type":"electronic","value":"9783540383574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54430-5_78","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:48:51Z","timestamp":1330192131000},"page":"23-42","source":"Crossref","is-referenced-by-count":14,"title":["A tool set for deciding behavioral equivalences"],"prefix":"10.1007","author":[{"given":"Jean-Claude","family":"Fernandez","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Mounier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.C. Fernandez, S. Graf, C. Rodriguez, and J. Sifakis. Safety for branching time semantics. In 18th ICALP, july 1991.","key":"4_CR1","DOI":"10.1007\/3-540-54233-7_126"},{"key":"4_CR2","series-title":"Tech. report","volume-title":"On the verification of safety properties","author":"A. Bouajjani","year":"1990","unstructured":"A. Bouajjani, J. C. Fernandez, and N. Halbwachs. On the verification of safety properties. Tech. report, Spectre L 12, IMAG, Grenoble, march 1990."},{"doi-asserted-by":"crossref","unstructured":"A. Bouajjani, J.C. Fernandez, and N. Halbwachs. Minimal model generation. In Workshop on Computer-aided Verification, to appear in LNCS, Springer Verlag, june 1990.","key":"4_CR3","DOI":"10.1090\/dimacs\/003\/08"},{"doi-asserted-by":"crossref","unstructured":"S. D. Brookes, C.A.R Hoare, and A.W. Roscoe. Theory of communicating sequential processes. JACM, 31(3), 1984.","key":"4_CR4","DOI":"10.1145\/828.833"},{"doi-asserted-by":"crossref","unstructured":"E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finitestate concurrent systems using temporal logic spec ifications. TOPLAS, 8(2), 1986.","key":"4_CR5","DOI":"10.1145\/5397.5399"},{"doi-asserted-by":"crossref","unstructured":"R. Cleaveland. On automatically distinguishing inequivalent processes. In Workshop on Computer-Aided Verification, june 1990.","key":"4_CR6","DOI":"10.1090\/dimacs\/003\/28"},{"doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench. In Workshop on Computer-Aided Verification, june 1990.","key":"4_CR7","DOI":"10.1007\/3-540-52148-8_3"},{"doi-asserted-by":"crossref","unstructured":"C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory efficient algorithms for the verification of temporal properties. In Workshop on Computer-Aided Verification, june 1990.","key":"4_CR8","DOI":"10.1090\/dimacs\/003\/15"},{"unstructured":"R. de Simone and D. Vergamini. Aboard Auto. Rapport Technique 111, INRIA, Sophia Antipolis, 1989.","key":"4_CR9"},{"doi-asserted-by":"crossref","unstructured":"J. C. Fernandez. An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming, 13(2\u20133), May 1990.","key":"4_CR10","DOI":"10.1016\/0167-6423(90)90071-K"},{"doi-asserted-by":"crossref","unstructured":"J.-C. Fernandez and L. Mounier. \u201con the fly\u201d verification of behavioural equivalences and preorders. In Workshop on Computer-aided Verification, To appear, july 1\u20134 1991.","key":"4_CR11","DOI":"10.1007\/3-540-55179-4_18"},{"doi-asserted-by":"crossref","unstructured":"R.J. van Glabbeek. The Linear Time-Branching Time Spectrum. Technical Report CS-R9029, Centre for Mathematics and Computer Science, 1990.","key":"4_CR12","DOI":"10.1007\/BFb0039066"},{"key":"4_CR13","volume-title":"Compilation and verification of lotos specifications","author":"H. Garavel","year":"1990","unstructured":"Hubert Garavel and Joseph Sifakis. Compilation and verification of lotos specifications. In L. Logrippo, R. L. Probert, and H. Ural, editors, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification (Ottawa), IFIP, North-Holland, Amsterdam, June 1990."},{"key":"4_CR14","volume-title":"An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. CS-R 9001","author":"J. F. Groote","year":"1990","unstructured":"Jan Friso Groote and Frits Vaandrager. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. CS-R 9001, Centrum voor Wiskunde en Informatica, Amsterdam, January 1990."},{"key":"4_CR15","volume-title":"Branching time and abstraction in bisimulation semantics (extended abstract). CS-R 8911","author":"R.J. Glabbeek van","year":"1989","unstructured":"R.J. van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics (extended abstract). CS-R 8911, Centrum voor Wiskunde en Informatica, Amsterdam, 1989."},{"doi-asserted-by":"crossref","unstructured":"Claude Jard and Thierry Jeron. On-line model-checking for finite linear temporal logic specifications. In International Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, Springer Verlag, 1989.","key":"4_CR16","DOI":"10.1007\/3-540-52148-8_16"},{"doi-asserted-by":"crossref","unstructured":"Claude Jard and Thierry J\u00e9ron. Bounded-memory algorithms for verification on-the-fly. In K. G. Larsen, editor, Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), July 1991. to appear.","key":"4_CR17","DOI":"10.1007\/3-540-55179-4_19"},{"doi-asserted-by":"crossref","unstructured":"P. Kanellakis and S. Smolka. Ccs expressions, finite state processes and three problems of equivalence. In Proceedings ACM Symp. on Principles of Distribued Computing, 1983.","key":"4_CR18","DOI":"10.1145\/800221.806724"},{"doi-asserted-by":"crossref","unstructured":"R. Milner. A calculus of communication systems. In LNCS 92, Springer Verlag, 1980.","key":"4_CR19","DOI":"10.1007\/3-540-10235-3"},{"key":"4_CR20","volume-title":"Back and Forth Bisimulations. CS-R 9021","author":"R. Nicola De","year":"1990","unstructured":"R. De Nicola, U. Montanari, and F.W. Vaandrager. Back and Forth Bisimulations. CS-R 9021, Centrum voor Wiskunde en Informatica, Amsterdam, 1990."},{"doi-asserted-by":"crossref","unstructured":"R. De Nicola and F. Vaandrager. Three logics for branching bisimulation. In Proc. of Fifth Symp. on Logic in Computer Science, Computer Society Press, 1990.","key":"4_CR21","DOI":"10.1109\/LICS.1990.113739"},{"doi-asserted-by":"crossref","unstructured":"D. Park. Concurrency and automata on infinite sequences. In 5th GI-Conference on Theorical Computer Science, Springer Verlag, 1981. LNCS 104.","key":"4_CR22","DOI":"10.1007\/BFb0017309"},{"unstructured":"R. Paige and R. Tarjan. Three partition refinement algorithms. SIAM J. Comput., No. 6, 16, 1987.","key":"4_CR23"},{"unstructured":"Juan Quemada, Santiago Pav\u00f3n, and Angel Fern\u00e1ndez. Transforming lotos specifications with lola: the parametrized expansion. In Kenneth J. Turner, editor, Proceedings of the 1st International Conference on Formal Description Techniques FORTE'88 (Stirling, Scotland), pages 45\u201354, North-Holland, Amsterdam, September 1988.","key":"4_CR24"},{"doi-asserted-by":"crossref","unstructured":"A. Rasse. Error diagnosis in finite communicating systems. In Workshop on Computer-aided Verification, To appear, july 1\u20134 1991.","key":"4_CR25","DOI":"10.1007\/3-540-55179-4_12"},{"unstructured":"J.L. Richier, C. Rodriguez, J. Sifakis, and J. Voiron. Xesar: A Tool for Protocol Validation. User's Guide. LGI-Imag, 1987.","key":"4_CR26"}],"container-title":["Lecture Notes in Computer Science","CONCUR '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54430-5_78.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T14:09:38Z","timestamp":1687270178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54430-5_78"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540544302","9783540383574"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-54430-5_78","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}