𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bisimilarity for the Region Calculus

✍ Scribed by Simon Helsen

Book ID
106452333
Publisher
Springer
Year
2004
Tongue
English
Weight
522 KB
Volume
17
Category
Article
ISSN
1388-3690

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The complexity of bisimilarity-checking
The complexity of bisimilarity-checking for one-counter processes
✍ AntonΔ±́n Kučera πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 376 KB

We study the problem of bisimilarity-checking between processes of one-counter automata and ΓΏnite-state processes. We show that deciding weak bisimilarity between processes of one-counter nets (which are 'restricted' one-counter automata where the counter cannot be tested for zero) and ΓΏnite-state p

The Calculus for Engineers
The Calculus for Engineers
✍ HENRICI, O. πŸ“‚ Article πŸ“… 1897 πŸ› Nature Publishing Group 🌐 English βš– 372 KB
The Calculus for Beginners
The Calculus for Beginners
πŸ“‚ Article πŸ“… 1910 πŸ› Nature Publishing Group 🌐 English βš– 122 KB