scientific article
From MaRDI portal
Publication:3359754
zbMath0733.68027MaRDI QIDQ3359754
Philippe Darondeau, Pierpaolo Degano
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems ⋮ Semantic domains of timed event structures ⋮ Concurrent bisimulations in Petri nets ⋮ Timing and causality in process algebra ⋮ Location equivalence in a parametric setting ⋮ Universal axioms for bisimulations
This page was built for publication: