MarCaSPiS
From MaRDI portal
Software:19020
swMATH6957MaRDI QIDQ19020FDOQ19020
Author name not available (Why is that?)
Cited In (5)
- Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5--12, 2009. Proceedings, Part II
- Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Rate-Based Transition Systems for Stochastic Process Calculi
This page was built for software: MarCaSPiS
