scientific article; zbMATH DE number 7311259

zbMath1456.68114MaRDI QIDQ5151010

Marco Bernardo

Publication date: 16 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.19

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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 (2)

Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions ⋮ On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi

This page was built for publication: