882 search results - page 32 / 177 » A Taste of Rewrite Systems |
116
Voted
TCS
2002
15 years 4 days ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...
70
Voted
FSTTCS
1998
Springer
15 years 4 months ago
1998
Springer
In [NO88], a particular trace monoid M is constructed such that for the class of length
104
Voted
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
CONCUR
2004
Springer
15 years 4 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...
121
Voted
ACL
1992
15 years 1 months ago
1992
We show that the class of string languages generated by linear context-free rewriting systems is equal to the class of output languages of deterministic treewalking transducers. F...