scientific article; zbMATH DE number 5263426
From MaRDI portal
Publication:5457681
zbMath1134.68433MaRDI QIDQ5457681
Publication date: 14 April 2008
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) Network protocols (68M12)
Related Items (max. 100)
Depletable channels: dynamics, behaviour, and efficiency in network design ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement ⋮ Contexts, refinement and determinism ⋮ Characterising Testing Preorders for Broadcasting Distributed Systems
This page was built for publication: