Protocol combinators for modeling, testing, and execution of distributed systems.
Saved in:
| Title: | Protocol combinators for modeling, testing, and execution of distributed systems. |
|---|---|
| Authors: | ANDERSEN, KRISTOFFER JUST ARNDAL1 kristoffer@arndalandersen.dk, SERGEY, ILYA2 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.
|
|
Be the first to leave a comment!
