DOI10.1145/1328438.1328471zbMath1295.68080OpenAlexW2167928477MaRDI QIDQ3189845
Giuseppe Castagna, Luca Padovani, Nils Gesbert
Publication date: 12 September 2014
Published in: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1328438.1328471
Precise Subtyping for Asynchronous Multiparty Sessions,
Reversible client/server interactions,
Binary Session Types for Psi-Calculi,
Multiparty testing preorders,
Compliance in Behavioural Contracts: A Brief Survey,
Contracts for Mobile Processes,
A brief account of runtime verification,
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition,
Can we communicate? Using dynamic logic to verify team automata,
Session types for safe web service orchestration,
Session coalgebras: a coalgebraic view on session types and communication protocols,
An algebraic theory for web service contracts,
Process calculi as a tool for studying coordination, contracts and session types,
Counting the Cost in the Picalculus (Extended Abstract),
Hard Life with Weak Binders,
A WSDL-based type system for asynchronous WS-BPEL processes,
Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders,
Failure-divergence semantics and refinement of long running transactions,
Unnamed Item,
Contract-based discovery of Web services modulo simple orchestrators,
A fixed-points based framework for compliance of behavioural contracts,
Deciding Substitutability of Services with Operating Guidelines,
A Theory of Monitors,
Automata for Analysing Service Contracts,
Unnamed Item,
A theory of contracts for strong service compliance,
Objects and session types,
Multiparty Session Types Within a Canonical Binary Theory, and Beyond,
Input urgent semantics for asynchronous timed session types
