scientific article; zbMATH DE number 2086521

zbMATH Open1057.68073MaRDI QIDQ4737002FDOQ4737002

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Title not available (Why is that?)
• 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)