{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:16:58Z","timestamp":1754482618897},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:51:03Z","timestamp":1330249863000},"page":"181-191","source":"Crossref","is-referenced-by-count":39,"title":["\u201cOn the fly\u201d verification of behavioural equivalences and preorders"],"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,5,29]]},"reference":[{"key":"18_CR1","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.","DOI":"10.1007\/3-540-54233-7_126"},{"key":"18_CR2","volume-title":"Tech. report, Spectre L 12","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."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"R. Cleaveland. On Automatically Distinguishing Inequivalent Processes. In Workshop on Computer-Aided Verification, June 1990.","DOI":"10.1090\/dimacs\/003\/28"},{"key":"18_CR4","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.","DOI":"10.1090\/dimacs\/003\/15"},{"key":"18_CR5","volume-title":"Tech. report Spectre C14","author":"J. C. Fernandez","year":"1989","unstructured":"J. C. Fernandez. Ald\u00e9baran: A tool for verification of communicating processes. Tech. report Spectre C14, LGI-IMAG Grenoble, 1989."},{"key":"18_CR6","unstructured":"J. C. Fernandez and L. Mounier. Verifying Bisimulations on the Fly. In Proceedings of the Third International Conference on Formal Description Techniques FORTE'90 (Madrid, Spain), pages 91\u2013105, North-Holland, November 1990."},{"key":"18_CR7","volume-title":"Technical Report Projet Cesar RT-3","author":"S. Graf","year":"1986","unstructured":"S. Graf and J. Sifakis. Readiness Semantics for Regular Processes with Silent Action. Technical Report Projet Cesar RT-3, LGI-IMAG Grenoble, 1986."},{"key":"18_CR8","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":"18_CR9","volume-title":"Algorithms for Automated Protocol Validation","author":"Gerard J. J. Holzmann","year":"1989","unstructured":"Gerard J. Holzmann. Algorithms for Automated Protocol Validation. In Proceedings of the 1st International Workshop on Automatic Verification Methods for Finite State Systems (Grenoble, France), Springer Verlag, jun 1989."},{"key":"18_CR10","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.","DOI":"10.1007\/3-540-52148-8_16"},{"key":"18_CR11","volume-title":"Technical Report","author":"L. Mounier","year":"1990","unstructured":"Laurent Mounier and Simon Bainbridge. Specification and Verification of a Reliable Multicast Protocol. Technical Report (In preparation), Hewlett-Packard Laboratories, Bristol, U.K, 1990."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner. A Calculus of Communication Systems. In LNCS 92, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"18_CR13","first-page":"16","volume":"No. 6","author":"R. Paige","year":"1987","unstructured":"R. Paige and R. Tarjan. Three Partition Refinement Algorithms. SIAM J. Comput., No. 6, 16, 1987.","journal-title":"SIAM J. Comput."},{"key":"18_CR14","first-page":"45","volume-title":"Transforming LOTOS Specifications with LOLA: The Parametrized Expansion","author":"J. Quemada","year":"1988","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":"18_CR15","volume-title":"Technical Report","author":"Santosh K. K. Shrivastava","year":"1990","unstructured":"Santosh K. Shrivastava and Paul. D. Ezhilchelvan. rel\/REL: A Family of Reliable Multicast Protocol for High-Speed Networks. Technical Report (In preparation), University of Newcastle, Dept. of Computer Science, U.K, 1990."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:15:24Z","timestamp":1687284924000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}