scientific article; zbMATH DE number 7168316
From MaRDI portal
Publication:5216414
zbMath1433.68244arXiv1711.11211MaRDI QIDQ5216414
Fabrizio Montesi, Luís Cruz-Filipe
Publication date: 17 February 2020
Full work available at URL: https://arxiv.org/abs/1711.11211
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (3)
Certifying choreography compilation ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ A core model for choreographic programming
This page was built for publication:
