A causal semantics for CCS via rewriting logic

Author： Degano P.   Gadducci F.   Priami C.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.275, Iss.1, 2002-03, pp. : 259-282

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Tiles, Rewriting Rules and CCS

By Gadducci F.   Montanari U.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-19

Elsevier

Access to resources Recommend Favorite

Bi-rewriting Rewriting Logic

By Schorlemmer W.M.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-18

Elsevier

Access to resources Recommend Favorite

Operational semantics of rewriting with priorities

By van de Pol J.  

Theoretical Computer Science, Vol. 200, Iss. 1, 1998-06 ,pp. : 289-312

Elsevier

Access to resources Recommend Favorite

Reflection and Strategies in Rewriting Logic

By Clavel M.   Meseguer J.  

Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. : 1-23

Elsevier

Access to resources Recommend Favorite

Rewriting logic: roadmap and bibliography

By Mart-Oliet N.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 121-154

Elsevier

Access to resources Recommend Favorite