Contracts for Mobile Processes

DOI10.1007/978-3-642-04081-8_15zbMath1254.68163OpenAlexW1555792332MaRDI QIDQ3184675

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)

Related Items (7)

On projecting processes into session types ⋮ An algebraic theory for web service contracts ⋮ Sub-behaviour relations for session-based client/server systems ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ On asynchronous eventful session semantics ⋮ Automata for Analysing Service Contracts ⋮ Unnamed Item

Cites Work

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

This page was built for publication: Contracts for Mobile Processes