Structured Communication-Centred Programming for Web Services
From MaRDI portal
Publication:5756486
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)
Recommendations
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
- An interface theory for service-oriented design
- Theoretical aspects of communication-centred programming
- A graphical approach to progress for structured communication in web services
- The Paths to Choreography Extraction
- An algebraic theory for web service contracts
- Enforcing availability in failure-aware communicating systems
- Event-Based Service Coordination
- Subtyping Supports Safe Session Substitution
- Event based choreography
- Deriving session and union types for objects
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- Objects and session types
- A Theory of Formal Choreographic Languages
- Building distributed controllers for systems with priorities
- The Conversation Calculus: A Model of Service-Oriented Computation
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
- Amalgamating sessions and methods in object-oriented languages with generics
- Global protocol implementations via attribute-based communication
- 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
- CaSPiS: a calculus of sessions, pipelines and services
- An accessible verification environment for UML models of services
- Security protocols as choreographies
- Conversation types
- Separation Logic Semantics for Communicating Processes
- Declarative choreographies and liveness
- POETS: process-oriented event-driven transaction systems
- Functional choreographic programming
- The evolution of Jolie. From orchestrations to adaptable choreographies
- Session types revisited
- A gentle introduction to multiparty asynchronous session types
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- Asynchronous Session Types and Progress for Object Oriented Languages
- 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 calculus of global interaction based on session types
- Parametric synchronizations in mobile nominal calculi
- Choreographies, logically
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- 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)
