✦ LIBER ✦

Process Rewrite Systems

✍ Scribed by Richard Mayr

Book ID: 112252461
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 270 KB
Volume: 156
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1999.2826

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generating priority rewrite systems for

Generating priority rewrite systems for OSOS process languages

✍ Irek Ulidowski; Shoji Yuen 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 839 KB

Reachability is decidable for weakly ext

Reachability is decidable for weakly extended process rewrite systems

✍ Mojmír Křetínský; Vojtěch Řehák; Jan Strejček 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 251 KB

Bi-rewrite Systems

✍ Jordi Levy; Jaume Agustı&#x0301; 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 945 KB

In this article we propose an extension of term rewriting techniques to automate the deduction in monotone pre-order theories. To prove an inclusion a ⊆ b from a given set I of them, we generate from I, using a completion procedure, a bi-rewrite system is allowed to be a subset of the corresponding

On decidability of LTL model checking fo

On decidability of LTL model checking for process rewrite systems

✍ Laura Bozzelli; Mojmír Křetínský; Vojtěch Řehák; Jan Strejček 📂 Article 📅 2008 🏛 Springer-Verlag 🌐 English ⚖ 578 KB

Murg term rewrite systems

✍ Sándor Vágvölgyi 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Timed Term Rewrite Systems

✍ Jérémie Blanc; Rachid Echahed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 373 KB