Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits
From MaRDI portal
Publication:4933283
DOI10.1007/978-3-642-16310-4_10zbMath1306.68078OpenAlexW94228666MaRDI QIDQ4933283
Sean Keller, Michael Katelman, José Meseguer
Publication date: 12 October 2010
Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_10
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)
Related Items
The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, Rewriting semantics of production rule sets, The Rewriting Logic Semantics Project: A Progress Report
Uses Software