Publication:4319803
From MaRDI portal
zbMath0812.68042MaRDI QIDQ4319803
A. R. Taubin, Michael Kishinevsky, V. I. Varshavskij, Alex Kondratyev
Publication date: 12 January 1995
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Computer system organization (68M99)
Related Items
Approximate evaluation of the efficiency of synchronous and self-timed methodologies in problems of designing failure-tolerant computing and control systems, Verification of asynchronous circuits by BDD-based model checking of Petri nets, Constructive Boolean circuits and the exactness of timed ternary simulation, A structural approach for the analysis of Petri Nets by reduced unfoldings, Asynchronous control device design by net model behavior simulation, ASYNCHRONOUS AUTOMATA NETWORKS CAN EMULATE ANY SYNCHRONOUS AUTOMATA NETWORK, Delay-insensitivity and ternary simulation