360 search results - page 2 / 72 » ccs 2008 |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
CCS
2008
ACM
13 years 7 months ago
2008
ACM
CCS
2008
ACM
13 years 7 months ago
2008
ACM
IPL
2008
13 years 4 months ago
2008
This paper studies the equational theory of prebisimilarity, a bisimulation-based preorder introduced by Hennessy and Milner in the early 1980s, over basic CCS with the divergent ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We provide a characterisation of strong bisimilarity in a fragment of CCS that contains only prefix, parallel composition, synchronisation and a limited form of replication. The ch...