346 search results - page 9 / 70 » Determinizing Asynchronous Automata |
59
Voted
MFCS
2005
Springer
15 years 7 months ago
2005
Springer
FP
1992
15 years 6 months ago
1992
77
Voted
ACRI
2004
Springer
15 years 5 months ago
2004
Springer
113
click to vote
FOSSACS
2000
Springer
15 years 5 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...
109
click to vote
ENTCS
2008
15 years 1 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...