A Virtual Machine for a Process Calculus

Authors:
Luis M. B. Lopes;Fernando M. A. Silva;Vasco Thudichum Vasconcelos
Affiliations:
-;-;-
Venue:
PPDP '99 Proceedings of the International Conference PPDP'99 on Principles and Practice of Declarative Programming
Year:
1999

Fine-Grained Multithreading with Process Calculi

IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
Secure Information Flow as Typed Process Behaviour

ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
A stackless runtime environment for a Pi-calculus

Proceedings of the 2nd international conference on Virtual execution environments
Compiling the π-calculus into a Multithreaded Typed Assembly Language

Electronic Notes in Theoretical Computer Science (ENTCS)

Hi-index	0.00