✦ LIBER ✦

Resources in process algebra

✍ Scribed by Insup Lee; Anna Philippou; Oleg Sokolsky

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

‘Closed Interval Process Algebra’ versus

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

Hybrid process algebra

✍ P.J.L. Cuijpers; M.A. Reniers 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 574 KB

Revisiting timing in process algebra

✍ C.A. Middelburg 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 174 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

An incompleteness result in process alge

✍ Andrzej Szalas 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 342 KB