scientific article; zbMATH DE number 1759425
From MaRDI portal
zbMath0996.68122MaRDI QIDQ4536374
Jaco van de Pol, Jan Friso Groote
Publication date: 4 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items
Star-Topology Decoupling in SPIN, Compositional verification of concurrent systems by combining bisimulations, A theory for observational fault tolerance, Cartesian difference categories, Sequential and distributed on-the-fly computation of weak tau-confluence, Session types for safe web service orchestration, Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities, On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP, State Space Reduction of Linear Processes Using Control Flow Reconstruction, Compositional State Space Reduction Using Untangled Actions
Uses Software