scientific article

zbMath0986.68165MaRDI QIDQ2771063

Rance Cleaveland, Li Tan

Publication date: 14 February 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

simulation algorithm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A space-efficient simulation algorithm on probabilistic automata, Correcting a Space-Efficient Simulation Algorithm, Generalizing the Paige-Tarjan algorithm by abstract interpretation, A Space-Efficient Probabilistic Simulation Algorithm, An efficient simulation algorithm on Kripke structures, Probabilistic weak simulation is decidable in polynomial time, An efficient simulation algorithm based on abstract interpretation