✦ LIBER ✦

A note on the characterization of weak bisimulation congruence in CCS

✍ Scribed by Jan Ekman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Convergence-sensitive Bisimulation an

✍ Roberto M. Amadio 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 322 KB

A modal characterization of observationa

✍ S. Graf; J. Sifakis 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 800 KB

A note on representation of lattices by

✍ Šešelja, Branimir; Stepanović, Vanja; Tepavčević, Andreja 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 217 KB

A note on the lattice of weak L-valued c

✍ B. Šešelja; G. Vojvodić 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 134 KB

A characterization of the group congruen

✍ Gracinda M. S. Gomes 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 247 KB

A Note on Symmetries of the Weak Interac

✍ Fujii, Kanji; Nagai, Hideaki 📂 Article 📅 1964 🏛 Institute of Pure and Applied Physics 🌐 English ⚖ 184 KB