View in EDS PDF Full Text

Translating between models of concurrency.

Saved in:
Bibliographic Details
Title: Translating between models of concurrency.
Authors: Mestel, David1 (AUTHOR), Roscoe, A. W.2 (AUTHOR) Bill.Roscoe@cs.ox.ac.uk
Source: Acta Informatica. Oct2020, Vol. 57 Issue 3-5, p403-438. 36p.
Database: Mathematics Source
Description
ISSN:00015903
DOI:10.1007/s00236-020-00372-9