\textsf{MarCaSPiS}: a Markovian extension of a calculus for services

DOI10.1016/J.ENTCS.2009.07.071MaRDI QIDQ2810685zbMATH OpenOpenAlexWikidataFDO

Authors Rocco De Nicola, Michele Loreti, Diego Latella, Mieke Massink

Publication date 3 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2009.07.071

zbMATH Keywords

calculi for service oriented computingquantitative analysis of systemsstochastic process algebras

Mathematics Subject Classification ID

Applications of continuous-time Markov processes on discrete state spaces (60J28) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• CaSPiS: a calculus of sessions, pipelines and services
• The stream-based service-centred calculus: a foundation for service-oriented programming
• The Conversation Calculus: A Model of Service-Oriented Computation
• Structural Operational Semantics for Stochastic Process Calculi
• Service oriented computing from a process algebraic perspective

Cites work

• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• A Calculus for Orchestration of Web Services
• A calculus of mobile processes. I
• CaSPiS: a calculus of sessions, pipelines and services
• Characterising Testing Preorders for Finite Probabilistic Processes
• Computational Methods in Systems Biology
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 3514781 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• scientific article; zbMATH DE number 1786475 (Why is no real title available?)
• Model checking mobile stochastic logic
• Structural Operational Semantics for Stochastic Process Calculi
• Structured Communication-Centred Programming for Web Services
• The Conversation Calculus: A Model of Service-Oriented Computation

Cited in

(6)

• Assisting the design of a groupware system - Model checking usability aspects of thinkteam
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• Enabling synchronous and asynchronous communications in CSP for SOC
• The Conversation Calculus: A Model of Service-Oriented Computation
• CaSPiS: a calculus of sessions, pipelines and services
• The stream-based service-centred calculus: a foundation for service-oriented programming

Describes a project that uses

Uses Software

• COWS
• MarCaSPiS

This page was built for publication: \textsf{MarCaSPiS}: a Markovian extension of a calculus for services

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2810685)