C. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Informatica, Pontifcia Universidade Catolica do Rio de Janeiro, Brazil, Sept. 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Implementing CCS in Maude 2 - Verdejo, Martí-Oliet (2002) (9 citations) (Correct)
....a very brief introduction to Milner s Calculus of Communicating Systems, CCS [12] We assume a set A of names; the elements of the set A = fa j a 2 Ag are called co names, and the members of the (disjoint) union L = A [ A are labels naming ordinary actions. The function a 7 a is Braga s thesis [1] describes an extension of Maude implemented using the re ective features of Maude itself that also allows conditional rules with rewrites in the conditions, and that has been used to build an interpreter for MSOS speci cations in the context of Mosses s modular structural operational semantics ....
....3 (state 3) AP:ActProcess tau 0 b . 0 No more solutions. If we add the following equation to the module CCS SEMANTICS, de ning the recursive process Proc in the CCS context, we prove that Proc can perform the trace a b a: eq context = Proc =def a . b . Proc . Maude search [1] [ Proc ] a b a X:Process . Solution 1 (state 5) X:Process b . Proc We have asked Maude to search if there is one [1] way in which the term [ Proc ] can be rewritten into the pattern a b a X:Process. The search command performs a breadth rst search in the conceptual ....
[Article contains additional citation context not shown here]
C. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Informatica, Pontifcia Universidade Catolica do Rio de Janeiro, Brazil, Sept. 2001.
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (2 citations) (Correct)
No context found.
C. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Informatica, Pontifcia Universidade Catolica do Rio de Janeiro, Brazil, Sept. 2001.
Rewriting Logic Semantics: From Language Specifications To.. - Meseguer, Rosu (2004) (Correct)
No context found.
C. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Informatica, Pontificia Universidade Catolica de Rio de Janeiro, Brasil, 2001.
Executing and Verifying CCS in Maude - Verdejo, Marti-Oliet (2002) (Correct)
No context found.
C. Braga. Rewriting Logic as a Semantic Framework for Modular Structural Operational Semantics. PhD thesis, Departamento de Informtica, Pontifcia Universidade Catlica do Rio de Janeiro, Brazil, Sept. 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC