scientific article; zbMATH DE number 2086521

MaRDI QIDQ4737002zbMATH OpenFDO

Authors Ferucio Laurenţiu Ţiplea, Aurora Ţiplea

Publication date 11 August 2004

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

(6)

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

This page was built for publication:

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