A Distribution Law for CCS and a New Congruence Result for the pi-calculus
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 t...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2008-05-01
|
| Series: | Logical Methods in Computer Science |
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/823/pdf |
| _version_ | 1827322981359026176 |
|---|---|
| author | Daniel Hirschkoff Damien Pous |
| author_facet | Daniel Hirschkoff Damien Pous |
| author_sort | Daniel Hirschkoff |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-25T01:37:29Z |
| format | Article |
| id | doaj.art-33666252eb564ccebc79f2bedccdb61f |
| institution | Directory Open Access Journal |
| issn | 1860-5974 |
| language | English |
| last_indexed | 2024-04-25T01:37:29Z |
| publishDate | 2008-05-01 |
| publisher | Logical Methods in Computer Science e.V. |
| record_format | Article |
| series | Logical Methods in Computer Science |
| spelling | doaj.art-33666252eb564ccebc79f2bedccdb61f2024-03-08T08:51:49ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742008-05-01Volume 4, Issue 210.2168/LMCS-4(2:4)2008823A Distribution Law for CCS and a New Congruence Result for the pi-calculusDaniel HirschkoffDamien Poushttps://orcid.org/0000-0002-1220-4399We 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.https://lmcs.episciences.org/823/pdfcomputer science - logic in computer sciencef.3.2 |
| spellingShingle | Daniel Hirschkoff Damien Pous A Distribution Law for CCS and a New Congruence Result for the pi-calculus Logical Methods in Computer Science computer science - logic in computer science f.3.2 |
| title | A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
| title_full | A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
| title_fullStr | A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
| title_full_unstemmed | A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
| title_short | A Distribution Law for CCS and a New Congruence Result for the pi-calculus |
| title_sort | distribution law for ccs and a new congruence result for the pi calculus |
| topic | computer science - logic in computer science f.3.2 |
| url | https://lmcs.episciences.org/823/pdf |
| work_keys_str_mv | AT danielhirschkoff adistributionlawforccsandanewcongruenceresultforthepicalculus AT damienpous adistributionlawforccsandanewcongruenceresultforthepicalculus AT danielhirschkoff distributionlawforccsandanewcongruenceresultforthepicalculus AT damienpous distributionlawforccsandanewcongruenceresultforthepicalculus |