Searching for "Linearity and bisimulation." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Linearity and bisimulation
- …Linearity and Bisimulation Nobuko Yoshida ⋆ Kohei Honda † Martin Berger † Abstract. Exploiting…
- Cited by 17 (5 self) – Add To MetaCart
-
Toward a Bisimulation Theory for Linear Higher-Order π-Calculus
- …On Bisimulation Theory in Linear Higher-Order π-Calculus Xian Xu ⋆ BASICS Department of Computer…
- Cited by 1 (1 self) – Add To MetaCart
-
found at the ENTCS Macro Home Page. Appendices to “Toward a Bisimulation Theory for Linear Higher
- …. Both can be found at the ENTCS Macro Home Page. Appendices to “Toward a Bisimulation Theory for Linear…
- Add To MetaCart
-
A Coalgebraic Foundation for Linear Time Semantics
- … characterised in terms of a linear notion of bisimulation. The final object in this category is the canonical…
- Cited by 8 (1 self) – Add To MetaCart
-
On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi
- …-calculus with mismatch: the bisimulation theory. Linear fragment of higherorder π-calculus with mismatch…
- Cited by 1 (0 self) – Add To MetaCart
-
Eliminating Recursion in the µ-Calculus
- … only linearly. Bisimulation. Two tree structures A and B with roots 0 A and 0 B are bisimulation…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 6.
