Mapping Modular SOS to Rewriting Logic-Reference-Cited by-同舟云学术

Mapping Modular SOS to Rewriting Logic

Published:2003 Issue: Volume: Page:262-277
ISSN:0302-9743
Container-title:Logic Based Program Synthesis and Transformation
language:
Short-container-title:

Author:

de Braga Christiano O.,Hæusler E. Hermann,Meseguer José,Mosses Peter D.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45013-0_21

Reference14 articles.

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. Lect Notes Comput Sci;C.O. Braga de,2000

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Weak Bisimulation as a Congruence in MSOS;Lecture Notes in Computer Science;2015

2. The rewriting logic semantics project: A progress report;Information and Computation;2013-10

3. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10

4. Dogfooding the Formal Semantics of mCRL2;2012 35th Annual IEEE Software Engineering Workshop;2012-10

5. Nominal SOS;Electronic Notes in Theoretical Computer Science;2012-09