Author： Hennessy M. Rathke J.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.200, Iss.1, 1998-06, pp. : 225-260
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
On bisimulations for the asynchronous -calculus
By Amadio R.M. Castellani I. Sangiorgi D.
Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. :
Access to resources
Recommend
Bisimulations in the join-calculus
By Fournet C. Laneve
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :
Theoretical Computer Science, Vol. 138, Iss. 2, 1995-02 ,pp. :
SourceOECD Science & Information Technology, Vol. 2009, Iss. 11, 2009-08 ,pp. :
SourceOECD Science & Information Technology, Vol. 2007, Iss. 2, 2007-09 ,pp. :