Searching for "Unique decomposition of processes." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
A distribution law for CCS and a new congruence result for the pi-calculus
- … decomposition). Any process admits a prime decomposition which is unique up to bisimilarity: if P1 | ... | Pn…
- Cited by 2 (0 self) – Add To MetaCart
-
On the Expressiveness and Decidability of Higher-Order Process Calculi ∗
- … both Moller and Milner’s unique decomposition of processes [11] and Hirschkoff and Pous’ axioms for a…
- Add To MetaCart
-
Università di Bologna Abstract
- … decomposition of processes [10] and Hirschkoff and Pous’ axioms for a fragment of (finite) CCS [4] to a higher…
- Add To MetaCart
Showing 1 through 3.
