Model checking mobile stochastic logic
From MaRDI portal
Publication:995465
DOI10.1016/J.TCS.2007.05.008zbMATH Open1159.68478DBLPjournals/tcs/NicolaKLLM07OpenAlexW2161235182WikidataQ57801754 ScholiaQ57801754MaRDI QIDQ995465FDOQ995465
Authors: Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink 
Publication date: 3 September 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.05.008
Recommendations
Cites Work
- The Klaim project: Theory and practice
- Formal Methods for Components and Objects
- Title not available (Why is that?)
- A theory of timed automata
- A logic for reasoning about time and reliability
- Model checking of probabilistic and nondeterministic systems
- A spatial logic for concurrency. I
- Process algebra for performance evaluation
- Title not available (Why is that?)
- Anytime, anywhere: modal logics for mobile ambients
- Model-checking continuous-time Markov chains
- Temporal logics for the specification of performance and reliability
- A modal logic for mobile agents
- Programming Languages and Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (6)
- Stabilizing mobile philosophers
- Spatial logic and spatial model checking for closure spaces
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam
- On distributed stochastic logics for mobile systems
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
Uses Software
This page was built for publication: Model checking mobile stochastic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q995465)
