Publication:4319803
From MaRDI portal
zbMath0812.68042MaRDI QIDQ4319803
A. R. Taubin, Michael Kishinevsky, V. I. Varshavskij, Alex Kondratyev
Publication date: 12 January 1995
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68M99: Computer system organization
Related Items
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, Verification of asynchronous circuits by BDD-based model checking of Petri nets, Constructive Boolean circuits and the exactness of timed ternary simulation, Delay-insensitivity and ternary simulation, Approximate evaluation of the efficiency of synchronous and self-timed methodologies in problems of designing failure-tolerant computing and control systems