✦ LIBER ✦

A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation

✍ Scribed by Wilkinson, Toby

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simulation and Bisimulation of Nonlinear

✍ Grasse, Kevin A. 📂 Article 📅 2007 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 235 KB

Characterisation and simulation of an ac

✍ Sassetti, F.; Guarnieri, F. A.; Garelli, L.; Storti, M. A. 📂 Article 📅 2012 🏛 Taylor and Francis Group 🌐 English ⚖ 342 KB

Temporal expression and characterisation

✍ LEA, I; MOORE, A; LATCHMAN, D; MOORE, H 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 118 KB

Ore characterisation for––and simulation

✍ R. Hahne; B.I. Pålsson; P.O. Samskog 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 287 KB

Isolation, characterisation and expressi

✍ Philippa L. Jones; David L. Willey; Peter Gacesa; John L. Harwood 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 99 KB

Notions of bisimulation and congruence f

✍ Mohammad Reza Mousavi; Michel A. Reniers; Jan Friso Groote 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 499 KB