Structured Communication-Centred Programming for Web Services
From MaRDI portal
(Redirected from Publication:5756486)
Network design and communication in computer systems (68M10) Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(54)- Amalgamating sessions and methods in object-oriented languages with generics
- Objects and session types
- Choreographies, logically
- A core model for choreographic programming
- Security protocols as choreographies
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- POETS: process-oriented event-driven transaction systems
- Session types revisited
- Contracts for cross-organizational workflows as timed dynamic condition response graphs
- \textsf{MarCaSPiS}: a Markovian extension of a calculus for services
- A gentle introduction to multiparty asynchronous session types
- Enforcing availability in failure-aware communicating systems
- A calculus of global interaction based on session types
- Theoretical aspects of communication-centred programming
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- The Paths to Choreography Extraction
- On the undecidability of asynchronous session subtyping
- PiStache: implementing -calculus in Scala
- Self-adaptation and secure information flow in multiparty communications
- Subtyping Supports Safe Session Substitution
- A type system for Discretionary Access Control
- Global protocol implementations via attribute-based communication
- Event-Based Service Coordination
- Coordination Via Types in an Event-Based Framework
- A theory of contracts for strong service compliance
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- An interface theory for service-oriented design
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets
- An algebraic theory for web service contracts
- A graphical approach to progress for structured communication in web services
- The evolution of Jolie. From orchestrations to adaptable choreographies
- A WSDL-based type system for asynchronous WS-BPEL processes
- Deriving session and union types for objects
- Building distributed controllers for systems with priorities
- Separation Logic Semantics for Communicating Processes
- Asynchronous Session Types and Progress for Object Oriented Languages
- 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
- Functional choreographic programming
- A Theory of Formal Choreographic Languages
- Conversation types
- A predicate transformer for choreographies. Computing preconditions in choreographic programming
- An accessible verification environment for UML models of services
- Declarative choreographies and liveness
- Subtyping context-free session types
- EXPRESSing session types
- Subtyping context-free session types
- Separation and encodability in mixed choice multiparty sessions
- The stream-based service-centred calculus: a foundation for service-oriented programming
- Realizable temporal logics for web service choreography
- Non-local configuration of component interfaces by constraint satisfaction
- Parametric synchronizations in mobile nominal calculi
- Event based choreography
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)
