Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits

DOI10.1007/978-3-642-16310-4_10MaRDI QIDQ4933283zbMATH OpenOpenAlexFDO

Authors Michael Katelman, Sean Keller, 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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 139979
• On process-algebraic verification of asynchronous circuits
• scientific article; zbMATH DE number 5286871
• Rewriting logic as a semantic framework for concurrency: a progress report
• scientific article; zbMATH DE number 1786640
• Abstract interpretation of combinational asynchronous circuits
• Static Analysis
• True concurrency in models of asynchronous circuit behavior
• From concurrent multi-clock programs to deterministic asynchronous implementations

Cited in

(7)

• Language of asynchronous functional circuits and its operational semantics
• Twenty years of rewriting logic
• Rewriting semantics of production rule sets
• The rewriting logic semantics project: a progress report
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 1786640 (Why is no real title available?)
• scientific article; zbMATH DE number 910722 (Why is no real title available?)

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Concurrent Rewriting Semantics and Analysis of Asynchronous Digital Circuits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933283)