✦ LIBER ✦

Hybrid process algebra

✍ Scribed by P.J.L. Cuijpers; M.A. Reniers

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Repairing time-determinism in the proces

✍ U. Khadim; P.J.L. Cuijpers 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 443 KB

‘Closed Interval Process Algebra’ versus

✍ Flavio Corradini; Marco Pistore 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 279 KB

An algebra of hybrid systems

✍ Peter Höfner; Bernhard Möller 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 435 KB

Resources in process algebra

✍ Insup Lee; Anna Philippou; Oleg Sokolsky 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 450 KB

A Generic Process Algebra

✍ Jos C.M. Baeten; Mario Bravetti 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Process Algebra as Modelling

✍ Chris Tofts 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 138 KB