𝔖 Bobbio Scriptorium
✦   LIBER   ✦

‘Closed Interval Process Algebra’ versus ‘Interval Process Algebra’

✍ Scribed by Flavio Corradini; Marco Pistore


Book ID
105749176
Publisher
Springer-Verlag
Year
2001
Tongue
English
Weight
279 KB
Volume
37
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Open-interval graphs versus closed-inter
✍ P. Frankl; H. Maehara 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 218 KB

A graph G = (V, E) is said to be represented by a family F of nonempty sets if there is a bijection f:V--\*F such that uv ~E if and only iff(u)Nf(v)q=~. It is proved that if G is a countable graph then G can be represented by open intervals on the real line if and only if G can be represented by clo

Hybrid process algebra
✍ P.J.L. Cuijpers; M.A. Reniers 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 574 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