swMATH6957MaRDI QIDQ19020FDOQ19020
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S157106610900293X
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
