MASSINK, MIEKE

MASSINK, MIEKE  

Fisica e Astronomia  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.028 secondi).
Titolo Data di pubblicazione Autore(i) File
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 2015 Latella, Diego; Loreti, Michele; Massink, Mieke
MarCaSPiS: a Markovian Extension of a Calculus for Services 2009 R. De Nicola; D. Latella; M. Loreti; M. Massink
Model checking mobile stochastic logic 2007 R. DE NICOLA; J.-P. KATOEN; D. LATELLA; M. LORETI; M. MASSINK
On StocS: A Stochastic Extension of SCEL 2015 Latella, Diego; Loreti, Michele; Massink, Mieke; Senni, Valerio
On-the-fly fluid model checking via discrete time population models 2015 Latella, Diego; Loreti, Michele; Massink, Mieke
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 2015 Latella, Diego; Loreti, Michele; Massink, Mieke
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 2015 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
Rate-Based Transition Systems for Stochastic Process Calculi 2009 R. De Nicola; D. Latella; M. Loreti; M. Massink