View in EDS HTML Full Text PDF Full Text

Protocol combinators for modeling, testing, and execution of distributed systems.

Saved in:

Bibliographic Details
Title:	Protocol combinators for modeling, testing, and execution of distributed systems.
Authors:	ANDERSEN, KRISTOFFER JUST ARNDAL¹ kristoffer@arndalandersen.dk, SERGEY, ILYA² ilya.sergey@yale-nus.edu.sg
Source:	Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-29. 29p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S095679682000026X