scientific article; zbMATH DE number 1479626
From MaRDI portal
Publication:4490739
zbMath0942.68631MaRDI QIDQ4490739
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
Causality and true concurrency: A data-flow analysis of the Pi-Calculus ⋮ Causality for mobile processes ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Equations, Contractions, and Unique Solutions ⋮ Unnamed Item
This page was built for publication:
