A Type System for Client Progress in a Service-Oriented Calculus

DOI10.1007/978-3-540-68679-8_40zbMath1143.68469OpenAlexW1479802880MaRDI QIDQ3507394

Lucia Acciai, Michele Boreale

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_40

zbMATH Keywords

type systemsprocess calculipi-calculusservice-oriented computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (11)

On projecting processes into session types ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Conversation types ⋮ A formal model for service-oriented interactions ⋮ Spatial and behavioral types in the pi-calculus ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ CaSPiS: a calculus of sessions, pipelines and services ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Objects and session types ⋮ Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines

This page was built for publication: A Type System for Client Progress in a Service-Oriented Calculus