[Prev][Next][Index][Thread]
FYI: typing processes.
Here is an eclectic collection of pointers to research on types for
process calculi that were sent as a response to my query on the
types forum.
Interaction Categories
Principle investigators: Samson Abramsky, Simon Gay, Raja Nagaranjan
Applications: Category of Typed Processes (SPROC, ASPROC); Logic of Typed
Processes
Processes are of CCS/CSP variety; no mobility.
References:
"On the Pi-Calculus and linear logic", TCS 1994, pp. 11-65
and the introductory remarks to it by Samson Abramsky.
Graph Types
Principle investigators: Nobuko Yoshida, Kohei Honda, Martin Berger
Applications: Fully abstract encoding of polyadic pi-calculus into monadic
pi-calculus; Types for deadlock freedom
Approach is entirely operational; no denotational account.
http://www.di.fc.ul.pt/~vv/
Resource Types
Principal investigators: Matthew Hennessy
Applications: Resource access control
Types for concurrent objects
Principal investigators: Antonio Ravara
Applications: typing concurrent oo languages
Concurrent object calculi
Principal investigators: Andy Gordon
Applications: A calculus in the style of the pi-calculus
Types to processes
Principle Investigators: F.Damiani, M>dezani-Ciancaglini, P.Giannini
References:
A Filter model for mobile processes
http://www.di.unito.it/~dezani/
Blue Calculus
Principal investigators: Gerard Boudol, Davide Sangioirgi, Silvano Dal-Zilio
References:
http://www.inria.fr/meije/personnel/Gerard.Boudol/blue.html
http://www.inria.fr/meije/personnel/Silvano.Dal_Zilio.htm
http://www.inria.fr/meije/personnel/Davide.Sangiorgi.html
Localities and Failures (pi-l calculus)
Principle investigators: Roberto Amadio, S Prasad
Referneces:
http://protis.univ-mrs.fr/~amadio/