Typing Asymmetric Client-Server Interaction

DOI10.1007/978-3-642-11623-0_5zbMath1274.68219OpenAlexW1888131041MaRDI QIDQ3400915

Franco Barbanera, Ugo de'Liguoro, Sara Capecchi

Publication date: 28 January 2010

Published in: Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11623-0_5

zbMATH Keywords

type systemsprocess calculisubtypingsession typesclient-server interaction protocolscontro/covariance

Mathematics Subject Classification ID

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

Related Items (2)

An algebraic theory for web service contracts ⋮ Sub-behaviour relations for session-based client/server systems

This page was built for publication: Typing Asymmetric Client-Server Interaction