86 search results - page 1 / 18 » Priority Rewrite Systems for OSOS Process Languages |
CONCUR
2003
Springer
14 years 4 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...
LATA
2009
Springer
14 years 5 months ago
2009
Springer
Introducing priorities on rules in rewriting increases their expressive power and helps to limit computations. Priority rewriting is used in rule-based programming as well as in f...
RTA
1995
Springer
14 years 2 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simpliļ¬cations. Computational systems are rewrite theories enriched by stra...
ICGI
2004
Springer
14 years 4 months ago
2004
Springer
VLDB
1994
ACM
14 years 2 months ago
1994
ACM
Most declarative SQL-like query languagesfor object-oriented database systems (OOSQL) are orthogonal languages allowing for arbitrary nesting of expressions in the select-, from-,...