scientific article; zbMATH DE number 6816946

DOI10.23638/LMCS-13(4:25)2017zbMath1398.68356arXiv1710.05388MaRDI QIDQ4596804

Tiziana Cimoli, Massimo Bartoletti, Maurizio Murgia

Publication date: 11 December 2017

Full work available at URL: https://arxiv.org/abs/1710.05388

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

compliancesession typestimed systems

Mathematics Subject Classification ID

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

Related Items (3)

Progress-preserving Refinements of CTA ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Input urgent semantics for asynchronous timed session types

This page was built for publication: