Structured Communication-Centred Programming for Web Services
DOI10.1007/978-3-540-71316-6_2zbMATH Open1187.68064OpenAlexW1780016311MaRDI QIDQ5756486FDOQ5756486
Authors: Marco Carbone, Kohei Honda, Nobuko Yoshida 
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_2
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Network design and communication in computer systems (68M10) Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (50)
- Non-local configuration of component interfaces by constraint satisfaction
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- A WSDL-based type system for asynchronous WS-BPEL processes
- Theoretical aspects of communication-centred programming
- An interface theory for service-oriented design
- A graphical approach to progress for structured communication in web services
- The Paths to Choreography Extraction
- Event-Based Service Coordination
- Enforcing availability in failure-aware communicating systems
- An algebraic theory for web service contracts
- Subtyping Supports Safe Session Substitution
- Event based choreography
- Deriving session and union types for objects
- A Theory of Formal Choreographic Languages
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- The Conversation Calculus: A Model of Service-Oriented Computation
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
- Objects and session types
- Building distributed controllers for systems with priorities
- Global protocol implementations via attribute-based communication
- Amalgamating sessions and methods in object-oriented languages with generics
- CaSPiS: a calculus of sessions, pipelines and services
- A theory of contracts for strong service compliance
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- The stream-based service-centred calculus: a foundation for service-oriented programming
- Realizable temporal logics for web service choreography
- Self-adaptation and secure information flow in multiparty communications
- Security protocols as choreographies
- An accessible verification environment for UML models of services
- Conversation types
- Declarative choreographies and liveness
- Separation Logic Semantics for Communicating Processes
- Functional choreographic programming
- POETS: process-oriented event-driven transaction systems
- The evolution of Jolie. From orchestrations to adaptable choreographies
- Session types revisited
- A gentle introduction to multiparty asynchronous session types
- Asynchronous Session Types and Progress for Object Oriented Languages
- Title not available (Why is that?)
- A type system for Discretionary Access Control
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- A core model for choreographic programming
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- A calculus of global interaction based on session types
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- Choreographies, logically
- Parametric synchronizations in mobile nominal calculi
- PiStache: implementing \(\pi \)-calculus in Scala
- On the undecidability of asynchronous session subtyping
- Coordination Via Types in an Event-Based Framework
This page was built for publication: Structured Communication-Centred Programming for Web Services
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756486)
