Abstract | ||
---|---|---|
We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the pi-calculus that includes the full output prefix and for which strong bisimilarity is a congruence. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-71389-0_17 | LECTURE NOTES IN COMPUTER SCIENCE |
Keywords | DocType | Volume |
process algebra,�-calculus,axiomatisation. ∗ a preliminary version of this work appeared in 9.,ccs,bisimulation,distributive law | Journal | 4423 |
Issue | ISSN | Citations |
2 | 0302-9743 | 4 |
PageRank | References | Authors |
0.91 | 6 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Hirschkoff | 1 | 196 | 19.50 |
Damien Pous | 2 | 240 | 31.00 |
Helmut Seidl | 3 | 1468 | 103.61 |