Author： Bremond-Gregoire P. Lee I.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.189, Iss.1, 1997-12, pp. : 179-219
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
A process algebra with distributed priorities
By Cleaveland R. Luttgen G. Natarajan V.
Theoretical Computer Science, Vol. 195, Iss. 2, 1998-03 ,pp. :
Access to resources
Recommend
The algebra of communicating processes with empty process
Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. :
The Real-Time Process Algebra (RTPA)
By Wang Y.
Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. :
Turning back time in Markovian process algebra
Theoretical Computer Science, Vol. 290, Iss. 3, 2003-01 ,pp. :