Event based choreography

DOI10.1016/j.scico.2010.02.009zbMath1209.68032OpenAlexW2051162684MaRDI QIDQ988170

Daniele Strollo, Vincenzo Ciancia, Roberto Guanciale, Gian-Luigi Ferrari

Publication date: 26 August 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.02.009

zbMATH Keywords

conformanceprocess calculiservice-oriented architecturesservice coordinationsessions for services

Mathematics Subject Classification ID

Network protocols (68M12) Internet topics (68M11)

Related Items (1)

Families of Symmetries as Efficient Models of Resource Binding

Uses Software

• COWS
• KLAIM
• Linda
• fc2tools

Cites Work

• Unnamed Item
• Unnamed Item
• About permutation algebras, (pre)sheaves and named sets
• On bisimulations for the asynchronous \(\pi\)-calculus
• Mobile ambients
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• A hierarchy of equivalences for asynchronous calculi
• Resource access control in systems of mobile agents
• Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
• A Name Abstraction Functor for Named Sets
• Families of Symmetries as Efficient Models of Resource Binding
• Secure Service Orchestration
• Coordination Via Types in an Event-Based Framework
• Generative communication in Linda
• Foundations of Software Science and Computational Structures
• A Calculus for Orchestration of Web Services
• Structured Communication-Centred Programming for Web Services

This page was built for publication: Event based choreography