𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A DERIVATION OF THE LORENTZ FORMULAE

✍ Scribed by WHITROW, G. J.


Book ID
111915511
Publisher
Oxford University Press
Year
1933
Tongue
English
Weight
471 KB
Volume
os-4
Category
Article
ISSN
0033-5606

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Derivation of Characteristic Formulae
✍ Markus MΓΌller-Olm πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 694 KB

This paper shows how modal mu-calculus formulae characterizing nite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest xpoint c haracterizations of the bisimulation relations. Our derivation simpli es earlier proofs for the strong bisimulation case