Cited in
(7)- Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5--12, 2009. Proceedings, Part II
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- COWS
- GroupKit
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Rate-Based Transition Systems for Stochastic Process Calculi
- Bisimulation of labelled state-to-function transition systems coalgebraically
This page was built for software: MarCaSPiS
