Publication:4536374
From MaRDI portal
zbMath0996.68122MaRDI QIDQ4536374
Jaco van de Pol, Jan Friso Groote
Publication date: 4 November 2002
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14: Distributed systems
Related Items
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities, Star-Topology Decoupling in SPIN, Sequential and distributed on-the-fly computation of weak tau-confluence, 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 theory for observational fault tolerance, Compositional State Space Reduction Using Untangled Actions, State Space Reduction of Linear Processes Using Control Flow Reconstruction
Uses Software