15 search results - page 1 / 3 » acsd 2007 |
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
ACSD
2009
IEEE
13 years 9 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
ACSD
2007
IEEE
13 years 9 months ago
2007
IEEE
In this paper we present two algorithms that effectively synthesize a finite place/transition Petri net (p/t-net) from a finite set of labeled partial orders (a finite partial lang...