An algorithm for computing simulation on finite labeled transition systems

MaRDI QIDQ3051663zbMATH OpenFDO

Authors Xuan Cai, Yiyuan Zheng

Publication date 5 November 2010

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)

Recommendations

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

Cited in

(4)

• Simulation for lattice-valued doubly labeled transition systems
• Encoding safety in \(\mathrm{CLL}_R\)
• scientific article; zbMATH DE number 1705168 (Why is no real title available?)
• Transformational design and implementation of a new efficient solution to the ready simulation problem

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)