Coordination Via Types in an Event-Based Framework

DOI10.1007/978-3-540-73196-2_5MaRDI QIDQ3614838zbMATH OpenOpenAlexFDO

Authors Roberto Guanciale, Daniele Strollo, Gian Luigi Ferrari, Emilio Tuosto

Publication date 10 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73196-2_5

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Event-Based Service Coordination
• Event based choreography
• Synthesising Choreographies from Local Session Types
• Process calculi as a tool for studying coordination, contracts and session types
• Coordination as a service

Cites work

• Semiring-based constraint satisfaction and optimization
• Structured Communication-Centred Programming for Web Services

Cited in

(8)

• Composition and decomposition of multiparty sessions
• A type language for distributed reactive components governed by communication protocols
• Event-Based Service Coordination
• Strong types for coordinating active objects
• scientific article; zbMATH DE number 7454918 (Why is no real title available?)
• CaSPiS: a calculus of sessions, pipelines and services
• Social coordination with locally observable types
• Event based choreography

This page was built for publication: Coordination Via Types in an Event-Based Framework

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