Author： Gadducci F. Montanari U.
Publisher： Elsevier
ISSN： 1571-0661
Source： Electronic Notes in Theoretical Computer Science, Vol.4, Iss.1, 2004-01, pp. : 1-19
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
Equational rules for rewriting logic
By Viry P.
Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. :
Access to resources
Recommend
A causal semantics for CCS via rewriting logic
By Degano P. Gadducci F. Priami C.
Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. :
Deciding observational congruence of finite-state CCS expressions by rewriting
Theoretical Computer Science, Vol. 139, Iss. 1, 1995-03 ,pp. :
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :
Controlling Rewriting by Rewriting
By Borovansky P. Kirchner C. Kirchner H.
Electronic Notes in Theoretical Computer Science, Vol. 4, Iss. 1, 2004-01 ,pp. :