Up a level |
Number of items: 1.
Clemente, Lorenzo, Hofman, Piotr and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2019)
Timed Basic Parallel Processes.
In: CONCUR, 2019-8-26 - 2019-8-31, Amsterdam.
Up a level |
Clemente, Lorenzo, Hofman, Piotr and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2019)
Timed Basic Parallel Processes.
In: CONCUR, 2019-8-26 - 2019-8-31, Amsterdam.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000