799 search results - page 1 / 160 » A Logic for Abstract State Machines |
ESWS
2008
Springer
13 years 7 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
CSL
2001
Springer
13 years 9 months ago
2001
Springer
JUCS
2008
13 years 5 months ago
2008
JUCS
2008
13 years 5 months ago
2008
ICCD
1993
IEEE
13 years 9 months ago
1993
IEEE
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...