14 citations · 16 across the 4 of their papers we have counts for
3 papers
cs.PL2023
Reasoning about Choreographic Programs
Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi +1
Choreographic programming is a paradigm where a concurrent or distributed system is developed in a top-down fashion. Programs, called choreographies, detail the desired interaction…
cs.LO2014★ 2 cited
Structural operational semantics for non-deterministic processes with quantitative aspects
Marino Miculan, Marco Peressotti
General frameworks have been recently proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically timed…
cs.LO2014★ 14 cited
GSOS for non-deterministic processes with quantitative aspects
Marino Miculan, Marco Peressotti
Recently, some general frameworks have been proposed as unifying theories for processes combining non-determinism with quantitative aspects (such as probabilistic or stochastically…