Lecture notes in Computer Science on Recent trends in data type specification
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Selected papers of the Second Workshop on Concurrency and compositionality
A syntactic approach to type soundness
Information and Computation
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Term rewriting and all that
Modeling concurrent, mobile and coordinated systems via graph transformations
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation
Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
True Concurrency: Theory and Practice
Proceedings of the Second International Conference on Mathematics of Program Construction
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Modelling Calculi with Name Mobility using Graphs with Equivalences
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph-grammars: An algebraic approach
SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
An executable formal semantics of C with applications
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Defining object-oriented execution semantics using graph transformations
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The rewriting logic semantics project: A progress report
Information and Computation
Hi-index | 0.00 |
This paper gives a truly concurrent semantics with sharing of resources for the $\mathbb{K}$ semantic framework, an executable (term-)rewriting-based formalism for defining programming languages and calculi. Akin to graph rewriting rules, the $\mathbb{K}$ (rewrite) rules explicitly state what can be concurrently shared with other rules. The desired true concurrency is obtained by translating the $\mathbb{K}$ rules into a novel instance of term-graph rewriting with explicit sharing, and then using classical concurrency results from the double-pushout (DPO) approach to graph rewriting. The resulting parallel term-rewriting relation is proved sound, complete, and serializable with respect to the jungle rewriting flavor of term-graph rewriting, and, therefore, also to term rewriting.