scientific article
From MaRDI portal
Publication:3337380
zbMath0545.94020MaRDI QIDQ3337380
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Synchronous development of asynchronous systems ⋮ Specification and automatic verification of self-timed queues ⋮ A Petri Net Model of Handshake Protocols ⋮ The Calculus of Handshake Configurations ⋮ Locked discrete event systems: How to model and how to unlock ⋮ Delay-insensitivity and ternary simulation ⋮ Automata of asynchronous behaviors ⋮ A formal approach to designing delay-insensitive circuits
This page was built for publication: