Publication:4472254
From MaRDI portal
zbMath1043.68593MaRDI QIDQ4472254
Maciej Koutny, Keijo Heljanko, Victor Khomenko
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800371.htm
68W10: Parallel algorithms in computer science
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Model Checking of Biological Systems, Recent advances in unfolding technique, Dealing with practical limitations of distributed timed model checking for timed automata, Planning without state space explosion: Petri net to Markov decision process