The stream-based service-centred calculus: a foundation for service-oriented programming

DOI10.1007/S00165-013-0284-5zbMATH Open1342.68058OpenAlexW2052853468MaRDI QIDQ736830FDOQ736830

Authors: Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vasconcelos 

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-013-0284-5

Recommendations

• The Conversation Calculus: A Model of Service-Oriented Computation
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
• CaSPiS: a calculus of sessions, pipelines and services
• A Calculus for Orchestration of Web Services
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cites Work

• A Calculus for Orchestration of Web Services
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Web services. Concepts, architectures and applications
• Multiparty asynchronous session types
• Subtyping for session types in the pi calculus
• The \(\pi\)-calculus: A theory of mobile processes
• Types and programing languages
• Structured Communication-Centred Programming for Web Services
• Conversation types
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• A theory of design-by-contract for distributed multiparty interactions
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• A Language for Task Orchestration and Its Semantic Properties
• CaSPiS: a calculus of sessions, pipelines and services
• Type checking a multithreaded functional language with session types

Cited In (7)

• A theory of RPC calculi for client-server model
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• The Conversation Calculus: A Model of Service-Oriented Computation
• Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
• CaSPiS: a calculus of sessions, pipelines and services
• Structured Communication-Centred Programming for Web Services
• \textsf{MarCaSPiS}: a Markovian extension of a calculus for services

Uses Software

• COWS

This page was built for publication: The stream-based service-centred calculus: a foundation for service-oriented programming

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