Davide Sangiorgi. Localities and true-concurrency in calculi for mobile processes. Theoretical Computer Science, 155, 1996. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Typed Language for Distributed Mobile Processes (Extended.. - Riely, Hennessy (1998) (101 citations) (Correct)
.... accompanied by the development of prototype languages such as Obliq [9] Pict [17] Oz [23] Facile [13] and the join calculus (DJoin) 11, 12] within the programming language research community, and the development of more abstract calculi, such as the p calculus [15] and its variations [2, 3, 18, 20, 21, 22], that directly address semantic and verification issues. This work should be considered a contribution to this last research effort. Research funded by HCM EXPRESS and EPSRC project GR K60701. Authors address: School of Cognitive and Computing Sciences, Univ. of Sussex, Falmer, Brighton, BN1 ....
Davide Sangiorgi. Localities and true-concurrency in calculi for mobile processes. Theoretical Computer Science, 155, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC