scientific article; zbMATH DE number 139975

zbMATH Open0760.68047MaRDI QIDQ4028331FDOQ4028331

Authors: Lars Rossen, Robin S. Sharp 

Publication date: 28 March 1993

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 48334
• Designing arithmetic circuits by refinement in Ruby
• An embedding of Ruby in Isabelle
• Semantics of digital circuits
• A semantics of sequence diagrams.

zbMATH Keywords

temporal abstractionreasoning about asynchronous circuitsrelational VLSI specifications language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Circuits, networks (94C99) Semantics in the theory of computing (68Q55)

This page was built for publication:

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