scientific article; zbMATH DE number 7360248
From MaRDI portal
Publication:4994122
zbMath1464.68252arXiv1310.4573MaRDI QIDQ4994122
Publication date: 17 June 2021
Full work available at URL: https://arxiv.org/abs/1310.4573
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Relating two automata-based models of orchestration and choreography ⋮ Session types and subtyping for orchestrated interactions ⋮ Verifiable abstractions for contract-oriented systems
This page was built for publication: