MarCaSPiS
From MaRDI portal
Cited in
(7)- 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
- COWS
- GroupKit
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Bisimulation of labelled state-to-function transition systems coalgebraically
- Rate-Based Transition Systems for Stochastic Process Calculi
This page was built for software: MarCaSPiS
