scientific article
zbMath1090.68073MaRDI QIDQ3023541
Publication date: 5 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
equivalencemodal logicinterleaving semanticsbisimulationstochastic Petri netstep semanticsinvisible transition
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20)
This page was built for publication:
