scientific article; zbMATH DE number 711039
From MaRDI portal
Publication:4319803
zbMath0812.68042MaRDI QIDQ4319803
A. R. Taubin, Michael Kishinevsky, V. I. Varshavskij, Alex Kondratyev
Publication date: 12 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
