Contracts for Mobile Processes

DOI10.1007/978-3-642-04081-8_15MaRDI QIDQ3184675zbMATH OpenOpenAlexFDO

Authors Giuseppe Castagna, Luca Padovani

Publication date 22 October 2009

Published in CONCUR 2009 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04081-8_15

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Session-typed concurrent contracts
• Session-typed concurrent contracts
• Honesty by typing
• Contract-oriented computing in CO₂
• The Pairing of Contracts and Session Types

Cites work

• A fully abstract denotational semantics for the \(\pi\)-calculus
• A New Type System for Deadlock-Free Processes
• A theory of contracts for web services
• A type system for lock-free processes
• Abstract Processes in Orchestration Languages
• Asynchronous Session Types and Progress for Object Oriented Languages
• CONCUR 2004 - Concurrency Theory
• Contract Based Multi-party Service Composition
• Contract-Directed Synthesis of Simple Orchestrators
• Conversation Types
• Fundamental properties of infinite trees
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Global Progress in Dynamically Interleaved Multiparty Sessions
• scientific article; zbMATH DE number 954809 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Multiparty asynchronous session types
• Session and Union Types for Object Oriented Programming
• Spatial-behavioral types for concurrency and resource control in distributed systems
• Subtyping for session types in the pi calculus
• Termination, deadlock, and divergence
• Testing equivalence for mobile processes
• The Must Preorder Revisited

Cited in

(11)

• An abstract contract theory for programs with procedures
• Transactions and contracts based on reaction systems
• Automata for analysing service contracts
• On projecting processes into session types
• Honesty by typing
• An algebraic theory for web service contracts
• On resolving non-determinism in choreographies
• Sub-behaviour relations for session-based client/server systems
• Global progress for dynamically interleaved multiparty sessions
• On asynchronous eventful session semantics
• Session-typed concurrent contracts

This page was built for publication: Contracts for Mobile Processes

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