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

zbMATH Keywords

stochastic process algebrascalculi for service oriented computingquantitative analysis of systems

Mathematics Subject Classification ID

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)

CaSPiS: a calculus of sessions, pipelines and services ⋮ MarCaSPiS: a Markovian Extension of a Calculus for Services ⋮ Assisting the design of a groupware system - Model checking usability aspects of thinkteam

Uses Software

• COWS
• MarCaSPiS

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