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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
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
This page was built for publication: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits