Mapping modular SOS to rewriting logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2664, Issue , 2003, Pages 262-277

  Braga, Christiano De O ^a   Hæusler, E Hermann ^b   Meseguer, José ^c   Mosses, Peter D ^d  

^a FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^c University of Illinois at Urbana Champaign   (United States)

^d AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248879236     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (14)

1. M. Clavel. Reflection in rewriting logic: metalogical foundations and metaprogramming applications. CSLI Publications, 2000.
2. M. Clavel, F. Durán, S. Eker, N. Martí-Oliet, P. Lincoln, J. Meseguer, and J. Quesada. Maude: Specification and Programming in Rewriting Logic. SRI International, http://maude. csl.sri.com, January 1999.
3. M. Clavel and J. Meseguer. Reflection in conditional rewriting logic. Theoretical Computer Science, 285(2):245-288, August 2002.
4. C. de O. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Pontifícia Universidade Católica do Rio de Janeiro, September 2001. http://www.ic.uff.br/∼cbraga.
5. 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 AMAST'00, Proc. 8th Intl. Conf. on Algebraic Methodology and Software Technology, Iowa City, IA, USA, volume 1816 of Lecture Notes in Computer Science, pages 407-421. Springer, May 2000.
6. F. Durán. A Reflective Module Algebra with Applications to the Maude Language. PhD thesis, Universidad de Mlaga, Escuela Tcnica Superior de Ingeniera Informtica, 1999.
7. N. Martí-Oliet and J. Meseguer. Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework. Kluwer Academic Publishers, second edition, 2001. http://maude.csl.sri.com/papers.
8. J. Meseguer. A logical theory of concurrent objects. In N. Meyrowitz, editor, Proceedings ECOOP-OOPSLA'90 Conference on Object-Oriented Programming, Ottawa, Canada October 1990, pages 101-115. ACM Press, 1990.
9. J. Meseguer. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, April 1992.
10. R. Milner. Communication and Concurrency. Prentice-Hall International Series in Computer Science. Prentice-Hall International, 1989.
11. P. D. Mosses. Action Semantics. Cambridge University Press, 1992.
12. P. D. Mosses. A Modular SOS for ML concurrency primitives. Technical Report Research Series RS-99-57, BRICS, Dept. of Computer Science, Univ. of Aarhus, 1999.
13. P. D. Mosses. Pragmatics of Modular SOS. In H. Kirchner and C. Ringeissen, editors, Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, volume 2422 of Lecture Notes in Computer Science, pages 21-40. Springer, 2002.
14. G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN -19, Computer Science Department, Aarhus University, 1981.