MarCaSPiS: a Markovian Extension of a Calculus for Services
DOI10.1016/J.ENTCS.2009.07.071zbMath1339.68157OpenAlexW2064415471WikidataQ124439100 ScholiaQ124439100MaRDI QIDQ2810685
Michele Loreti, Rocco De Nicola, Diego Latella, Mieke Massink
Publication date: 3 June 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2009.07.071
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Applications of continuous-time Markov processes on discrete state spaces (60J28) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model checking mobile stochastic logic
- A calculus of mobile processes. I
- MarCaSPiS: a Markovian Extension of a Calculus for Services
- Characterising Testing Preorders for Finite Probabilistic Processes
- Structural Operational Semantics for Stochastic Process Calculi
- The Conversation Calculus: A Model of Service-Oriented Computation
- Computational Methods in Systems Biology
- CaSPiS: a calculus of sessions, pipelines and services
- A Calculus for Orchestration of Web Services
- Structured Communication-Centred Programming for Web Services
- Foundations of Software Science and Computation Structures
This page was built for publication: MarCaSPiS: a Markovian Extension of a Calculus for Services