scientific article; zbMATH DE number 6851957
From MaRDI portal
Publication:4608688
DOI10.4230/LIPICS.CONCUR.2016.35zbMath1392.68290MaRDI QIDQ4608688
Konstantinos Chatzikokolakis, Catuscia Palamidessi, Valeria Vignudelli
Publication date: 21 March 2018
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) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (4)
Up-to techniques for behavioural metrics via fibrations ⋮ Up-To Techniques for Behavioural Metrics via Fibrations ⋮ Bisimulation and coinduction enhancements: a historical perspective ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability
This page was built for publication:
