Swipe to navigate through the chapters of this book
This chapter introduces rewriting logic , which can be used to model dynamic systems and to reason about concurrent change in a distributed system.
Please log in to get access to this content
To get access to this content you need the following product:
Although we use membership equational logic as the underlying equational logic in the definition below, rewriting logic is actually parametric in the underlying equational logic, which could be unsorted, order-sorted, membership, or some other kind of equational logic.
In order-sorted specifications, the sorts of t and \(t'\) must be in the same connected component of \((S, \le )\).
The module expression \( module _1\) + \( module _2\) gives the union of the two modules.
Parts of the specification are omitted and are replaced by ‘...’.
We follow the notational conventions for one-sorted equational specifications when writing one-sorted rewriting logic specifications.
- Modeling Distributed Systems in Rewriting Logic
Peter Csaba Ölveczky
- Springer London
- Sequence number
- Chapter number
- Chapter 8