𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Tiling Transactions in Rewriting Logic

✍ Scribed by Roberto Bruni; José Meseguer; Ugo Montanari

Publisher
Elsevier Science
Year
2004
Tongue
English
Weight
313 KB
Volume
71
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Discrete Event Systems in Rewriting Logi
Discrete Event Systems in Rewriting Logic
✍ Christopher Landauer 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 550 KB

In this note, we report on some work in progress on using rewriting logics for discrete event simulation. The idea is to combine the proofs in the logic with the observations in the simulations to gain a better understanding of the interaction intricacies that seem to occur in complex simulations. I

Reflection in Membership Equational Logi
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 254 KB

We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational log

Abduction in logic programming: A new de
Abduction in logic programming: A new definition and an abductive procedure based on rewriting
✍ Fangzhen Lin; Jia-Huai You 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 255 KB

A long outstanding problem for abduction in logic programming has been on how minimality might be defined. Without minimality, an abductive procedure is often required to generate exponentially many subsumed explanations for a given observation. In this paper, we propose a new definition of abductio