346 search results - page 9 / 70 » Determinizing Asynchronous Automata |
MFCS
2005
Springer
14 years 4 months ago
2005
Springer
FP
1992
14 years 3 months ago
1992
ACRI
2004
Springer
14 years 2 months ago
2004
Springer
FOSSACS
2000
Springer
14 years 2 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
ENTCS
2008
13 years 11 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...