Mapping tile logic into rewriting logic
From MaRDI portal
algebraic specificationcompositional models of computationconcurrent systems with state changesfree monoidal 2-categoryfree monoidal double categorymembership equational logicprocess algebrasrewriting logicsynchronizationtile logic
Applications of universal algebra in computer science (08A70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Recommendations
- Tiling transactions in rewriting logic
- scientific article; zbMATH DE number 2040907
- scientific article; zbMATH DE number 1231533
- scientific article; zbMATH DE number 1231660
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- From logic to tiling
- Tile rewriting grammars and picture languages
- Mapping modular SOS to rewriting logic
- A domain-specific language for programming in the tile assembly model
- Regional hexagonal tile rewriting grammars
Cited in
(21)- Dynamic connectors for concurrency
- Compositional SOS and beyond: A coalgebraic view of open systems
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
- Rewriting logic: Roadmap and bibliography
- Observational congruences for dynamically reconfigurable tile systems
- Normal forms for algebras of connections.
- Tile formats for located and mobile systems.
- Functorial models for Petri nets
- Twenty years of rewriting logic
- Comparing higher-order encodings in logical frameworks and tile logic
- Tiling transactions in rewriting logic
- A rewriting logic approach to operational semantics (extended abstract)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
- Models of Computation: A Tribute to Ugo Montanari’s Vision
- scientific article; zbMATH DE number 1231533 (Why is no real title available?)
- scientific article; zbMATH DE number 1231660 (Why is no real title available?)
- scientific article; zbMATH DE number 1231666 (Why is no real title available?)
- Symmetric monoidal and cartesian double categories as a semantic framework for tile logic
- scientific article; zbMATH DE number 2040907 (Why is no real title available?)
- Compositional specification in rewriting logic
- Recent Trends in Algebraic Development Techniques
This page was built for publication: Mapping tile logic into rewriting logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3839052)
