✦ LIBER ✦

A modal characterization of observational congruence on finite terms of CCS

✍ Scribed by S. Graf; J. Sifakis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the characterization of weak b

✍ Jan Ekman 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 175 KB

A characterization of congruence permuta

✍ Matthew A. Valeriote; Ross Willard 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 421 KB

A characterization of locally finite var

✍ Keith A. Kearnes 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 66 KB

A Characterization of *-Congruences on a

✍ Younki Chae; Sang Youl Lee; Chan-Young Park 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 114 KB

Rédei's characterization of congruences

✍ G. B. Preston 📂 Article 📅 1975 🏛 Akadmiai Kiad 🌐 English ⚖ 339 KB

A characterization of the group congruen

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