AAAAAA
Results:
1-7
|
Results: 7
Authors:
Sangiorgi, D
Citation: D. Sangiorgi, Extensionality and intensionality of the ambient logics, ACM SIGPL N, 36(3), 2001, pp. 4-13
Authors:
Pistore, M
Sangiorgi, D
Citation: M. Pistore et D. Sangiorgi, A partition refinement algorithm for the pi-calculus, INF COMPUT, 164(2), 2001, pp. 264-321
Authors:
Sangiorgi, D
Citation: D. Sangiorgi, Asynchronous process calculi: the first- and higher-order paradigms, THEOR COMP, 253(2), 2001, pp. 311-350
Authors:
Pierce, BC
Sangiorgi, D
Citation: Bc. Pierce et D. Sangiorgi, Behavioral equivalence in the polymorphic pi-calculus, J ACM, 47(3), 2000, pp. 531-584
Authors:
Sangiorgi, D
Citation: D. Sangiorgi, Lazy functions and mobile processes, FOUNDAT COM, 2000, pp. 691-720
Authors:
Sangiorgi, D
Citation: D. Sangiorgi, Typed pi-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects, THEOR PR OB, 5(1), 1999, pp. 25-33
Authors:
Sangiorgi, D
Citation: D. Sangiorgi, The name discipline of uniform receptiveness, THEOR COMP, 221(1-2), 1999, pp. 457-493
Risultati:
1-7
|