-
1
-
-
0004288194
-
-
Monographs in Computer Science, Springer-Verlag, Berlin
-
Abadi, M., and Cardelli, L. (1996), "A Theory of Objects," Monographs in Computer Science, Springer-Verlag, Berlin.
-
(1996)
A Theory of Objects
-
-
Abadi, M.1
Cardelli, L.2
-
2
-
-
0001254695
-
On bisimulations for the asynchronous π-calculus
-
An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 147-162
-
Amadio, R. M., Castellani, I., and Sangiorgi, D. (1998) On bisimulations for the asynchronous π-calculus, Theoret. Comput. Sci. 195(2), 291-324. An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 147-162.
-
(1998)
Theoret. Comput. Sci.
, vol.195
, Issue.2
, pp. 291-324
-
-
Amadio, R.M.1
Castellani, I.2
Sangiorgi, D.3
-
3
-
-
0003403203
-
Asynchrony and the π-calculus (note)
-
Rapport de Recherche 1702, INRIA Sophia-Antipolis
-
Boudol, G. (1992), "Asynchrony and the π-Calculus (note)," Rapport de Recherche 1702, INRIA Sophia-Antipolis.
-
(1992)
-
-
Boudol, G.1
-
4
-
-
0029631979
-
A language with distributed scope
-
Short version in "Proceedings of POPL '95," a preliminary version appeared as Report 122, Digital Systems Rersearch, June 1994
-
Cardelli, L. (1995), A language with distributed scope, Computing Systems 8(1), 27-59, Short version in "Proceedings of POPL '95," a preliminary version appeared as Report 122, Digital Systems Rersearch, June 1994.
-
(1995)
Computing Systems
, vol.8
, Issue.1
, pp. 27-59
-
-
Cardelli, L.1
-
5
-
-
84955617486
-
A concurrent object calculus
-
(U. Montanari and V. Sassone, Eds.), Lecture Notes in Computer Science; Springer-Verlag, Berlin. An extended version appeared as Stanford University Technical Note STAN-CS-TN-96-36, 1996
-
Di Blasio, P., and Fisher, K. (1996), A concurrent object calculus, in "Proceedings of CONCUR '96" (U. Montanari and V. Sassone, Eds.), Lecture Notes in Computer Science, Vol. 1119, pp. 655-670, Springer-Verlag, Berlin. An extended version appeared as Stanford University Technical Note STAN-CS-TN-96-36, 1996.
-
(1996)
Proceedings of CONCUR '96
, vol.1119
, pp. 655-670
-
-
Di Blasio, P.1
Fisher, K.2
-
6
-
-
0029703268
-
The reflexive chemical abstract machine and the join-calculus
-
Assoc. Comput. Mach., New York
-
Fournet, C., and Gonthier, G. (1996). The reflexive chemical abstract machine and the join-calculus, in "Proceedings of POPL '96," January, pp. 372-385 Assoc. Comput. Mach., New York.
-
(1996)
"Proceedings of POPL '96," January
, pp. 372-385
-
-
Fournet, C.1
Gonthier, G.2
-
7
-
-
19144362199
-
A concurrent object calculus: Reduction and typing
-
in "Proceedings of HLCL '98" (U. Nestmann and B. C. Pierce, Eds.); Elsevier Science, Amsterdam
-
Gordon, A. D., and Hankin, P. D. (1998), A concurrent object calculus: Reduction and typing, in "Proceedings of HLCL '98" (U. Nestmann and B. C. Pierce, Eds.), Electronic Notes in Theoretical Computer Science, Vol. 16.3, Elsevier Science, Amsterdam.
-
(1998)
Electronic Notes in Theoretical Computer Science
, vol.16
, Issue.3
-
-
Gordon, A.D.1
Hankin, P.D.2
-
8
-
-
84949201827
-
Compilation and equivalence of imperative objects
-
in "Proceedings of FSTTCS '97" (S. Ramesh and G. Sivakumar, Eds.); December; Springer-Verlag, Berlin. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, June 1997
-
Gordon, A. D., Hankin, P. D., and Lassen, S. B. (1997) Compilation and equivalence of imperative objects, in "Proceedings of FSTTCS '97" (S. Ramesh and G. Sivakumar, Eds.), Lecture Notes in Computer Science, Vol. 1346, December, pp. 74-87, Springer-Verlag, Berlin. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, June 1997.
-
(1997)
Lecture Notes in Computer Science
, vol.1346
, pp. 74-87
-
-
Gordon, A.D.1
Hankin, P.D.2
Lassen, S.B.3
-
9
-
-
0003759468
-
Two bisimilarities for the ν-Calculus
-
Technical Report 92-002, Keio University
-
Honda, K. (1992), "Two Bisimilarities for the ν-Calculus," Technical Report 92-002, Keio University.
-
(1992)
-
-
Honda, K.1
-
10
-
-
84983016110
-
An object calculus for asynchronous communication
-
in "Proceedings of ECOOP '91" (P. America, Ed.); July; Springer-Verlag, Berlin
-
Honda, K., and Tokoro, M. (1991) An object calculus for asynchronous communication, in "Proceedings of ECOOP '91" (P. America, Ed.), Lecture Notes in Computer Science, Vol. 512, July, pp. 133-147, Springer-Verlag, Berlin.
-
(1991)
Lecture Notes in Computer Science
, vol.512
, pp. 133-147
-
-
Honda, K.1
Tokoro, M.2
-
11
-
-
0029404929
-
On reduction-based process semantics
-
An extract appeared in "Proceedings of FSTTCS '93," Lecture Notes in Computer Science, Vol. 761
-
Honda, K., and Yoshida, N. (1995), On reduction-based process semantics, Theoret. Comput. Sci. 152(2), 437-486. An extract appeared in "Proceedings of FSTTCS '93," Lecture Notes in Computer Science, Vol. 761.
-
(1995)
Theoret. Comput. Sci.
, vol.152
, Issue.2
, pp. 437-486
-
-
Honda, K.1
Yoshida, N.2
-
12
-
-
0012974486
-
Objects as mobile processes
-
Research Series RS-96-38, BRICS
-
Hüttel, H., and Kleist, J. (1996), Objects as mobile processes, in "MPFS '96," Research Series RS-96-38, BRICS.
-
(1996)
MPFS '96
-
-
Hüttel, H.1
Kleist, J.2
-
13
-
-
0011352734
-
Migration = cloning; aliasing (preliminary version)
-
Sponsored by ACM/SIGPLAN
-
Hüttel, H., Kleist, J., Merro, M., and Nestmann, U. (1999), Migration = cloning; aliasing (preliminary version), in "Informal Proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL 6, San Antonio, Texas, USA)," Sponsored by ACM/SIGPLAN.
-
(1999)
Informal Proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL 6, San Antonio, Texas, USA)
-
-
Hüttel, H.1
Kleist, J.2
Merro, M.3
Nestmann, U.4
-
14
-
-
0023960862
-
Fine-grained mobility in the Emerald system
-
Jul, E., Levy, H., Hutchinson, N., and Black, A. (1988). Fine-grained mobility in the Emerald system, ACM Trans. Comput. Systems 6(1), 109-133.
-
(1988)
ACM Trans. Comput. Systems
, vol.6
, Issue.1
, pp. 109-133
-
-
Jul, E.1
Levy, H.2
Hutchinson, N.3
Black, A.4
-
15
-
-
0002113866
-
Imperative objects and mobile processes
-
(D. Gries and W.-P. de Roever, Eds.); International Federation for Information Processing (IFIP), Chapman & Hall, London
-
Kleist, J., and Sangiorgi, D. (1998), Imperative objects and mobile processes, in "Proceedings of PROCOMET '98" (D. Gries and W.-P. de Roever, Eds.), pp. 285-303, International Federation for Information Processing (IFIP), Chapman & Hall, London.
-
(1998)
Proceedings of PROCOMET '98
, pp. 285-303
-
-
Kleist, J.1
Sangiorgi, D.2
-
16
-
-
0029706996
-
Linearity and the pi-calculus
-
Assoc. Comput. Mach., New York
-
Kobayashi, N., Pierce, B. C., and Turner, D. N. (1996), Linearity and the pi-calculus, in "Proceedings of POPL '96," January, pp. 358-371, Assoc. Comput. Mach., New York.
-
(1996)
"Proceedings of POPL '96," January
, pp. 358-371
-
-
Kobayashi, N.1
Pierce, B.C.2
Turner, D.N.3
-
17
-
-
23044518432
-
Locality and polyadicity in asynchronous name-passing calculi
-
in "Proceedings of FoSSaCS 2000" (J. Tiuryn, Ed.); Springer-Verlag, Berlin
-
Merro, M. (2000), Locality and polyadicity in asynchronous name-passing calculi, in "Proceedings of FoSSaCS 2000" (J. Tiuryn, Ed.), Lecture Notes in Computer Science, Vol. 1784, pp. 238-251, Springer-Verlag, Berlin.
-
(2000)
Lecture Notes in Computer Science
, vol.1784
, pp. 238-251
-
-
Merro, M.1
-
18
-
-
23044518432
-
Locality in the π-calculus and applications to distributed objects
-
Ph.D. thesis, Ecole des Mines, France
-
Merro, M. (2000), "Locality in the π-Calculus and Applications to Distributed Objects," Ph.D. thesis, Ecole des Mines, France.
-
(2000)
-
-
Merro, M.1
-
19
-
-
85026563474
-
On asynchrony in name-passing calculi
-
in "Proceedings of ICALP'98" (K. G. Larsen, S. Skyum, and G. Winskel, Eds.); July; Springer-Verlag, Berlin
-
Merro, M., and Sangiorgi, D. (1998), On asynchrony in name-passing calculi, in "Proceedings of ICALP'98" (K. G. Larsen, S. Skyum, and G. Winskel, Eds.), Lecture Notes in Computer Science, Vol. 1443, July, pp. 856-867, Springer-Verlag, Berlin.
-
(1998)
Lecture Notes in Computer Science
, vol.1443
, pp. 856-867
-
-
Merro, M.1
Sangiorgi, D.2
-
20
-
-
0000511698
-
The polyadic π-calculus: A tutorial
-
in "Logic and Algebra of Specification" (F. L. Bauer, W. Brauer, and H. Schwichtenberg, Eds.); Series F, NATO Advanced Study Institute, Springer-Verlag, Berlin. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991
-
Milner, R. (1993), The polyadic π-calculus: A tutorial, in "Logic and Algebra of Specification" (F. L. Bauer, W. Brauer, and H. Schwichtenberg, Eds.), Computer and System Sciences, Vol. 94, Series F, NATO Advanced Study Institute, Springer-Verlag, Berlin. Available as Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991.
-
(1993)
Computer and System Sciences
, vol.94
-
-
Milner, R.1
-
21
-
-
84968816021
-
Barbed bisimulation
-
in "Proceedings of ICALP '92" (W. Kuich, Ed.); Springer-Verlag, Berlin
-
Milner, R., and Sangiorgi, D. (1992), Barbed bisimulation, in "Proceedings of ICALP '92" (W. Kuich, Ed.), Lecture Notes in Computer Science, Vol. 623, pp. 685-695, Springer-Verlag, Berlin.
-
(1992)
Lecture Notes in Computer Science
, vol.623
, pp. 685-695
-
-
Milner, R.1
Sangiorgi, D.2
-
22
-
-
0003561748
-
Lambda calculus models of programming languages
-
Ph.D. thesis, MIT
-
Morris, J.-H. (1968), "Lambda Calculus Models of Programming Languages," Ph.D. thesis, MIT.
-
(1968)
-
-
Morris, J.-H.1
-
23
-
-
0037172652
-
Aliasing models for mobile objects
-
An extended abstract has appeared as Distinguished Paper in the (2000), "Proceedings of EUROPAR '99," Lecture Notes in Computer Science, Vol. 1685
-
Nestmann, U., Hüttel, H., Kleist, J., and Merro, M., Aliasing models for mobile objects, Inform. and Comput. 175(1), 3-33, Available at http://www.cs.auc.dk/research/FS/ojeblik/. An extended abstract has appeared as Distinguished Paper in the (2000), "Proceedings of EUROPAR '99," Lecture Notes in Computer Science, Vol. 1685.
-
Inform. and Comput.
, vol.175
, Issue.1
, pp. 3-33
-
-
Nestmann, U.1
Hüttel, H.2
Kleist, J.3
Merro, M.4
-
24
-
-
0001274327
-
On transformations of concurrent object programs
-
An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 131-146
-
Philippou, A., and Walker, D. (1998), On transformations of concurrent object programs, Theoret. Comput. Sci. 195(2), 259-289, An extended abstract appeared in "Proceedings of CONCUR '96," Lecture Notes in Computer Science, Vol. 1119, pp. 131-146.
-
(1998)
Theoret. Comput. Sci.
, vol.195
, Issue.2
, pp. 259-289
-
-
Philippou, A.1
Walker, D.2
-
25
-
-
0001518312
-
Typing and subtyping for mobile processes
-
An extract appeared in "Proceedings of LICS '93" pp. 376-385
-
Pierce, B. C., and Sangiorgi, D. (1996), Typing and subtyping for mobile processes. Mathematical Structures in Comput. Sci. 6(5), 409-454, An extract appeared in "Proceedings of LICS '93" pp. 376-385.
-
(1996)
Mathematical Structures in Comput. Sci.
, vol.6
, Issue.5
, pp. 409-454
-
-
Pierce, B.C.1
Sangiorgi, D.2
-
26
-
-
85031377395
-
Locality and non-interleaving semantics in calculi for mobile processes
-
See also Report ECS-LFCS-94-282, University of Edinburgh. An extract appeared in "Proceedings of TACS'94," Lecture Notes in Computer Science, Vol. 789
-
Sangiorgi, D. (1996), Locality and non-interleaving semantics in calculi for mobile processes, Theoret. Comput. Sci. 155(1), 39-83. See also Report ECS-LFCS-94-282, University of Edinburgh. An extract appeared in "Proceedings of TACS'94," Lecture Notes in Computer Science, Vol. 789
-
(1996)
Theoret. Comput. Sci.
, vol.155
, Issue.1
, pp. 39-83
-
-
Sangiorgi, D.1
-
27
-
-
0003090693
-
An interpretation of typed objects into typed π-calculus
-
Earlier version published as Rapport de Recherche RR-3000, INRIA Sophia-Antipolis, August 1996
-
Sangiorgi, D. (1998), An interpretation of typed objects into typed π-calculus, Information and Computation 143(1), 34-73. Earlier version published as Rapport de Recherche RR-3000, INRIA Sophia-Antipolis, August 1996.
-
(1998)
Information and Computation
, vol.143
, Issue.1
, pp. 34-73
-
-
Sangiorgi, D.1
-
28
-
-
0000973591
-
The name discipline of uniform receptiveness
-
An abstract appeared in the "Proceedings of ICALP '97," Lecture Notes in Computer Science, Vol. 1256, pp. 303-313
-
Sangiorgi, D. (1999), The name discipline of uniform receptiveness, Theoret. Comput. Sci. 221(1/2), 457-493. An abstract appeared in the "Proceedings of ICALP '97," Lecture Notes in Computer Science, Vol. 1256, pp. 303-313.
-
(1999)
Theoret. Comput. Sci.
, vol.221
, Issue.1-2
, pp. 457-493
-
-
Sangiorgi, D.1
-
29
-
-
0032785067
-
The typed π-calculus at work: A proof of Jone's parallelisation theorem on concurrent objects
-
An early version was included in the "Informal Proceedings of FOOL 4," January 1997
-
Sangiorgi, D. (1999), The typed π-calculus at work: A proof of Jone's parallelisation theorem on concurrent objects, Theory and Practice of Object-Oriented Systems 5(1), 25-33. An early version was included in the "Informal Proceedings of FOOL 4," January 1997.
-
(1999)
Theory and Practice of Object-Oriented Systems
, vol.5
, Issue.1
, pp. 25-33
-
-
Sangiorgi, D.1
-
30
-
-
0012978058
-
Lazy functions and mobile processes
-
(G. Plotkin, C. Stirling, and M. Tofte, Eds.), MIT Press, Cambridge, MA, Available as INRIA Sophia-Antipolis Rapport de Recherche RR-2515
-
Sangiorgi, D. (2000), Lazy functions and mobile processes, in "Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing" (G. Plotkin, C. Stirling, and M. Tofte, Eds.), MIT Press, Cambridge, MA, Available as INRIA Sophia-Antipolis Rapport de Recherche RR-2515.
-
(2000)
Proof, Language and Interaction: Essays in Honour of Robin Milner, Foundations of Computing
-
-
Sangiorgi, D.1
-
31
-
-
84955567248
-
The problem of "weak bisimulation up to"
-
in "Proceedings of CONCUR '92" (R. Cleaveland, Ed.); Springer-Verlag, Berlin
-
Sangiorgi, D., and Milner, R. (1992), The problem of "weak bisimulation up to," in "Proceedings of CONCUR '92" (R. Cleaveland, Ed.), Lecture Notes in Computer Science, Vol. 630, pp. 32-46, Springer-Verlag, Berlin.
-
(1992)
Lecture Notes in Computer Science
, vol.630
, pp. 32-46
-
-
Sangiorgi, D.1
Milner, R.2
-
32
-
-
0004053330
-
The π-calculus: A theory of mobile processes
-
Cambridge University Press, Cambridge, UK
-
Sangiorgi, D., and Walker, D. (2001), "The π-Calculus: A Theory of Mobile Processes," Cambridge University Press, Cambridge, UK.
-
(2001)
-
-
Sangiorgi, D.1
Walker, D.2
-
33
-
-
0012623792
-
Obliq semantics notes
-
Unpublished note
-
Talcott, C. L. (1996), Obliq semantics notes, Unpublished note, available at clt@cs.stanford.edu
-
(1996)
-
-
Talcott, C.L.1
-
34
-
-
0031220218
-
Mobile objects in distributed oz
-
Van Roy, P., Haridi, S., Brand, P., Smolka, G., Mehl, M., and Scheidhauer, R. (1997), Mobile objects in distributed oz, ACM Trans. Programming Lang. Systems 19(5), 804-851.
-
(1997)
ACM Trans. Programming Lang. Systems
, vol.19
, Issue.5
, pp. 804-851
-
-
Van Roy, P.1
Haridi, S.2
Brand, P.3
Smolka, G.4
Mehl, M.5
Scheidhauer, R.6
-
35
-
-
0001216410
-
Objects in the π-calculus
-
Walker, D. (1995), Objects in the π-calculus, Infor. and Comput. 116(2), 253-271.
-
(1995)
Infor. and Comput.
, vol.116
, Issue.2
, pp. 253-271
-
-
Walker, D.1
|