Compiling concurrent rewriting onto the Rewrite Rule Machine
From MaRDI portal
Publication:5881288
DOI10.1007/3-540-54317-1_101OpenAlexW1542082418MaRDI QIDQ5881288
Joseph A. Goguen, José Meseguer, Unnamed Author
Publication date: 9 March 2023
Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-54317-1_101
Theory of compilers and interpreters (68N20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items
José Meseguer: Scientist and Friend Extraordinaire, Conditional rewriting logic as a unified model of concurrency
Cites Work