{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:37Z","timestamp":1761597037289},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_19","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"292-307","source":"Crossref","is-referenced-by-count":5,"title":["Building Tools for LOTOS Symbolic Semantics in Maude"],"prefix":"10.1007","author":[{"given":"Alberto","family":"Verdejo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"J. Bryans and C. Shankland. Implementing a modal logic over data and processes using XTL. In Kim et al. [17], pages 201\u2013218.","DOI":"10.1007\/0-306-47003-9_13"},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-45251-6_21","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"M. Calder","year":"2001","unstructured":"M. Calder, S. Maharaj, and C. Shankland. An adequate logic for Full LOTOS. In J. Oliveira and P. Zave, editors, FME 2001: Formal Methods for Increasing Software Productivity, volume 2021 of Lecture Notes in Computer Science, pages 384\u2013395. Springer-Verlag, 2001."},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"M. Calder and C. Shankland. A symbolic semantics and bisimulation for Full LOTOS. In Kim et al. [17], pages 184\u2013200.","DOI":"10.1007\/0-306-47003-9_12"},{"key":"19_CR4","unstructured":"M. Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications. CSLI Publications, 2000."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Maude as a metalanguage. In C. Kirchner and H. Kirchner, editors, Proceedings Second International Workshop on Rewriting Logic and its Applications, WRLA\u201998, Pont-\u00e0-Mousson, France, September 1\u20134, 1998, volume 15 of Electronic Notes in Theoretical Computer Science. Elsevier, 1998. http:\/\/www.elsevier.nl\/locate\/entcs\/volume15.html .","DOI":"10.1016\/S1571-0661(05)82557-5"},{"key":"19_CR6","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. Computer Science Laboratory, SRI International, Jan. 1999. http:\/\/maude.csl.sri.com\/manual ."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"M. Clavel, F. Dur\u00e1n, S. Eker, P. Lincoln, N. Mart\u00ed-Oliet, J. Meseguer, and J. F. Quesada. Towards Maude 2.0. In K. Futatsugi, editor, Proceedings Third International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanazawa, Japan, September 18\u201320, 2000, volume 36 of Electronic Notes in Theoretical Computer Science, pages 297\u2013318. Elsevier, 2000. http:\/\/www.elsevier.nl\/locate\/entcs\/volume36.html.","DOI":"10.1016\/S1571-0661(05)80137-9"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0167-6423(01)00033-8","volume":"42","author":"R. Cleaveland","year":"2002","unstructured":"R. Cleaveland and S. T. Sims. Generic tools for verifying concurrent systems. Science of Computer Programming, 42(1):39\u201347, Jan. 2002.","journal-title":"Science of Computer Programming"},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-45499-3_29","volume-title":"Maude action tool: Using reflection to map action semantics to rewriting logic","author":"C. d. O. Braga","year":"2000","unstructured":"C. de O. Braga, E. H. Haeusler, J. Meseguer, and P. D. Mosses. Maude action tool: Using reflection to map action semantics to rewriting logic. In T. Rus, editor, AMAST: 8th International Conference on Algebraic Methodology and Software Technology, volume 1816 of Lecture Notes in Computer Science, pages 407\u2013421. Springer-Verlag, 2000."},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"H. Eertink. Executing LOTOS specifications: the SMILE tool. In T. Bolognesi, J. Lagemaat, and C. Vissers, editors, LotoSphere: Software Development with LOTOS. Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2203-4_11"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"19_CR12","unstructured":"B. Ghribi and L. Logrippo. A validation environment for LOTOS. In A. Danthine and G. Leduc, editors, Protocol Specification, Testing, and Verification XIII, pages 93\u2013108. Norht-Holland, 1993."},{"key":"19_CR13","unstructured":"R. Guillemot, M. Haj-Hussein, and L. Logrippo. Executing large LOTOS specifications. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification VIII, pages 399\u2013410. North-Hollland, 1988."},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M. Hennessy","year":"1995","unstructured":"M. Hennessy and H. Lin. Symbolic Bisimulations. Theoretical Computer Science, 138:353\u2013389, 1995.","journal-title":"Theoretical Computer Science"},{"key":"19_CR15","unstructured":"ISO\/IEC. LOTOS\u2013A formal description technique based on the temporal ordering of observational behaviour. International Standard 8807, International Organization for standardization\u2013Information Processing Systems\u2013Open Systems Interconnection, Geneva, Sept. 1989."},{"key":"19_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/3-540-61474-5_97","volume-title":"CADP: a protocol validation and verification toolbox","author":"J.-C. Fernandez","year":"1996","unstructured":"J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu, and M. Sighireanu. CADP: a protocol validation and verification toolbox. In R. Alur and T. A. Henzinger, editors, Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science, pages 437\u2013440. Springer-Verlag, 1996."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"M. Kim, B. Chin, S. Kang, and D. Lee, editors. Proceedings of FORTE 2001, 21st International Conference on Formal Techniques for Networked and Distributed Systems. Kluwer Academic Publishers, 2001.","DOI":"10.1007\/b116730"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory, Aug. 1993. To appear in D. Gabbay, ed., Handbook of Philosophical Logic, Second Edition, Volume 9. Kluwer Academic Publishers, 2002. http:\/\/maude.csl.sri.com\/papers .","DOI":"10.1007\/978-94-017-0464-9_1"},{"issue":"1","key":"19_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"J. Meseguer. Research directions in rewriting logic. In U. Berger and H. Schwichtenberg, editors, Computational Logic, NATO Advanced Study Institute, Marktoberdorf, Germany, July 29-August 6, 1997, NATO ASI Series F: Computer and Systems Sciences 165, pages 347\u2013398. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-642-58622-4_10"},{"key":"19_CR21","unstructured":"K. Turner. Using Formal Description Techniques-An Introduction to Estelle, LOTOS and SDL. John Wiley and Sons Ltd., 1992."},{"key":"19_CR22","unstructured":"A. Verdejo. LOTOS symbolic semantics in Maude. Technical Report 122-02, Dpto. Sistemas Inform\u00e1ticos y Programaci\u00f3n, Universidad Complutense de Madrid, Jan. 2002."},{"key":"19_CR23","unstructured":"A. Verdejo. A tool for Full LOTOS in Maude. Technical Report 123-02, Dpto. Sistemas Inform\u00e1ticos y Programaci\u00f3n, Universidad Complutense de Madrid, Apr. 2002. http:\/\/dalila.sip.ucm.es\/~alberto ."},{"key":"19_CR24","doi-asserted-by":"crossref","unstructured":"A. Verdejo and N. Mart\u00ed-Oliet. Implementing CCS in Maude. In T. Bolognesi and D. Latella, editors, Formal Methods For Distributed System Development. FORTE\/PSTV 2000, pages 351\u2013366. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-0-387-35533-7_22"}],"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_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T03:44:54Z","timestamp":1683863094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}