An algorithm for computing simulation on finite labeled transition systems

zbMATH Open1212.68098MaRDI QIDQ3051663FDOQ3051663

Authors: Xuan Cai, Yiyuan Zheng 

Publication date: 5 November 2010

Recommendations

• scientific article; zbMATH DE number 1705168
• Foundation for a series of efficient simulation algorithms
• A more efficient simulation algorithm on Kripke structures
• A more efficient simulation algorithm on Kripke structures
• An efficient simulation algorithm based on abstract interpretation

zbMATH Keywords

simulationprocess calculusconcurrent systemlabeled transition system

Mathematics Subject Classification ID

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

Cited In (3)

• Simulation for lattice-valued doubly labeled transition systems
• Encoding safety in \(\mathrm{CLL}_R\)
• Title not available (Why is that?)

This page was built for publication: An algorithm for computing simulation on finite labeled transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3051663)