scientific article; zbMATH DE number 7020154

MaRDI QIDQ4621156zbMATH OpenFDO

Authors Simon Bliudze, Roberto Bruni, Marco Carbone, Alexandru Silva

Publication date 8 February 2019

zbMATH Keywords

contractscoordinationgame semanticsinteractive systemsmulti-party choreographiesreactive contexts

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621156)