scientific article; zbMATH DE number 559729
From MaRDI portal
Publication:4289325
zbMath0900.68067MaRDI QIDQ4289325
Publication date: 2 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99)
Related Items (5)
An algebraic theory of interface automata ⋮ Synchronous development of asynchronous systems ⋮ Verified compilation of communicating processes into clocked circuits ⋮ Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench ⋮ Delay-insensitivity and ternary simulation
This page was built for publication:
