MarCaSPiS
From MaRDI portal
Software:19020
No author found.
Related Items (5)
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically ⋮ Rate-Based Transition Systems for Stochastic Process Calculi ⋮ MarCaSPiS: a Markovian Extension of a Calculus for Services ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam ⋮ Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5--12, 2009. Proceedings, Part II
This page was built for software: MarCaSPiS
