A simulation preorder for abstraction of reactive systems

DOI10.1007/3-540-47813-2_19MaRDI QIDQ4737002zbMATH OpenFDO

Authors Ferucio Laurenţiu Ţiplea, Aurora Ţiplea

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2294/22940272.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Fair simulation
• Fair simulation
• Property preserving abstractions under parallel composition
• Simple proof techniques for property preservation via simulation
• A Game-Theoretic Approach to Simulation of Data-Parameterized Systems

Cited in

(7)

• A rigorous methodology for specification and verification of business processes
• Simple proof techniques for property preservation via simulation
• Simulation preorder over simple process algebras
• On simulation, subtyping and substitutability in sequential object systems
• Petri net reactive modules
• scientific article; zbMATH DE number 7361363 (Why is no real title available?)
• Property preserving abstractions under parallel composition

This page was built for publication: A simulation preorder for abstraction of reactive systems

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