๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Timing and choice in concurrent chains

โœ Scribed by Randolph C Grace; John A Nevin


Book ID
118579263
Publisher
Elsevier Science
Year
1999
Tongue
French
Weight
284 KB
Volume
45
Category
Article
ISSN
0376-6357

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Concurrency in timed automata
โœ Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 373 KB

We introduce Concurrent Timed Automata (CTAs) where automata running in parallel are synchronized. We consider the subclasses of CTAs obtained by admitting, or not, diagonal clock constraints and constant updates, and by letting, or not, sequential automata to update the same clocks. We prove that s