scientific article; zbMATH DE number 1759425

MaRDI QIDQ4536374zbMATH OpenFDO

Authors Jan Friso Groote, Jaco van de Pol

Publication date 4 November 2002

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1905121
• Sequential and distributed on-the-fly computation of weak tau-confluence
• Computer Aided Verification
• Confluence Reduction for Probabilistic Systems
• Trace spaces: an efficient new technique for state-space reduction

Cited in

(14)

• On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP
• Compositional verification of concurrent systems by combining bisimulations
• Cartesian difference categories
• Session types for safe web service orchestration
• A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time
• A theory for observational fault tolerance
• Contraction of the ITCPN state space
• Compositional state space reduction using untangled actions
• Trace spaces: an efficient new technique for state-space reduction
• State space reduction of linear processes using control flow reconstruction
• Sequential and distributed on-the-fly computation of weak tau-confluence
• scientific article; zbMATH DE number 1905121 (Why is no real title available?)
• Sharp congruences adequate with temporal logics combining weak and strong modalities
• Star-Topology Decoupling in SPIN

Describes a project that uses

Uses Software

• E-LOTOS

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 Q4536374)