27/06/2002:
Cosimo Laneve (Univ. di Bologna)
The solos calculus: theory and practice
Résumé
I will present the basics of a project of the
University of Bologna, which is the definition and implementation of
a distributed programming language based on fusions of names.
I start with details about the solos calculus, a calculus in
the pi-family where inputs and outputs are continuation-less.
Then I describe the solos diagrams, a centralized implementation
of the solos calculus with a proof-net flavour.
Finally, I discuss the fusion machine, a distributed abstract
machine with locations, agent migrations and co-locations, which has
been prototyped in JoCAML.