Multiparty Session Nets

DOI10.1007/978-3-662-45917-1_8zbMath1444.68117OpenAlexW126560812MaRDI QIDQ2811929

Raymond Hu, Luca Fossati, Nobuko Yoshida

Publication date: 9 June 2016

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-45917-1_8

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ Nonlinear Processes in Safety Systems for Substances with Parameters Close to a Critical State

This page was built for publication: Multiparty Session Nets