Typing Non-uniform Concurrent Objects
- 21 December 2000
- book chapter
- Published by Springer Nature
- p. 474-489
- https://doi.org/10.1007/3-540-44618-4_34
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A partially deadlock-free typed process calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On bisimulations for the asynchronous π-calculusTheoretical Computer Science, 1998
- On the expressiveness of internal mobility in name-passing calculiTheoretical Computer Science, 1998
- On asynchrony in name-passing calculiPublished by Springer Nature ,1998
- A Set-Constraint-based analysis of ActorsPublished by Springer Nature ,1997
- An asynchronous model of locality, failure, and process mobilityPublished by Springer Nature ,1997
- Labelled reductions, runtime errors, and operational subsumptionLecture Notes in Computer Science, 1997
- Typing the use of resources in a concurrent calculusPublished by Springer Nature ,1997
- A calculus of mobile agentsPublished by Springer Nature ,1996
- ActorsPublished by MIT Press ,1986