scientific article
From MaRDI portal
Publication:3687696
zbMath0571.68016MaRDI QIDQ3687696
Rocco De Nicola, Ugo Montanari, Pierpaolo Degano
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A distributed operational semantics of CCS based on condition/event systems, An algebraic view of interleaving and distributed operational semantics for CCS, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, Control machines: A new model of parallelism for compositional specifications and their effective compilation, Causality for mobile processes, Verification of distributed programs using representative interleaving sequences, Proved trees, Pierpaolo Degano, Language-based performance prediction for distributed and mobile systems
