![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Author: Jard C.
Publisher: Elsevier
ISSN: 0950-5849
Source: Information and Software Technology, Vol.45, Iss.12, 2003-09, pp. : 805-814
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
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Concurrency Model for Distributed Systems
By Kim M. Chanson S.T. Vuong S.T.
Journal of Parallel and Distributed Computing, Vol. 59, Iss. 3, 1999-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
A uniform approach to true-concurrency and interleaving semantics for Petri nets
Theoretical Computer Science, Vol. 206, Iss. 1, 1998-10 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Models for concurrency: towards a classification
By Sassone V. Nielsen M. Winskel G.
Theoretical Computer Science, Vol. 170, Iss. 1, 1996-12 ,pp. :
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
![](/images/ico/ico_close.png)
![](/images/ico/ico5.png)
Deciding true concurrency equivalences on safe, finite nets
Theoretical Computer Science, Vol. 154, Iss. 1, 1996-01 ,pp. :