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

DOI10.1007/S00165-013-0284-5MaRDI QIDQ736830zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

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

Describes a project that uses

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)