𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Deriving protocol specifications from service specifications including multirendezvous

✍ Scribed by Monika Kapus-Kolar

Publisher
Elsevier Science
Year
1992
Weight
324 KB
Volume
35
Category
Article
ISSN
0165-6074

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deriving Liveness Goals from Temporal Lo
Deriving Liveness Goals from Temporal Logic Specifications
✍ C. CALEIRO; G. SAAKE; A. SERNADAS πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 729 KB

A propositional temporal logic is briefly introduced and its use for reactive systems specification is motivated and illustrated. G-automata are proposed as a new operational semantics domain designed to cope with fairness/liveness properties. G-automata are a class of labelled transition systems wi