11168 search results - page 4 / 2234 » Abstract State Processes |
123
Voted
CONCUR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
135
Voted
DAC
1995
ACM
15 years 7 months ago
1995
ACM
Our goal is to transform a low-level circuit design into a more representation. A pre-existing tool, Tranalyze [4], takes a switch-level circuit and generates a functionally equiv...
125
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
109
Voted
AI
2010
Springer
15 years 3 months ago
2010
Springer
116
Voted
JLP
2002
15 years 3 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...