Pict correctness revisited

Theoretical Computer Science

Volumn 410, Issue 2-3, 2009, Pages 114-127

  Bidinger, Philippe ^a   Compagnoni, Adriana ^b  

^a VERIMAG   (France)

^b STEVENS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Abstract machine; Fairness; Pi calculus; Pict

Indexed keywords

ABSTRACTING; C (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTERS; FUNCTIONS; LINGUISTICS;

ABSTRACT MACHINE; CONCURRENT PROGRAMMING LANGUAGES; FAIRNESS; LIVENESS; PI-CALCULUS; PICT; PROGRAMMING LANGUAGES;

CALCULATIONS;

EID: 58149352799     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.09.014     Document Type: Article

References (22)

1. Philippe Bidinger, Alan Schmitt, Jean-Bernard Stefani, An abstract machine for the Kell calculus, in: 7th IFIP International Conference on Formal Methods for Object-Based Distributed Systems, FMOODS, Athens, Greece, June 2005, pp. 43-58
2. Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi, Fairpi, in: Proceedings of EXPRESS'06, ENTCS, 2006
3. Costa G., and Stirling C. Weak and strong fairness in CCS. In: Chytil M., and Koubek V. (Eds). MFCS. Lecture Notes in Computer Science vol. 176 (1984), Springer 245-254
4. F. Corradini, D.R. Cacciagrano, Fairness in the pi-calculus, Technical Report, Dipartimenti di Informatica, Università di L'Aquila, TR 005/2004, 2004
5. Fabrice Le Fessant, JoCaml: Conception et Implantation d'un Langage à Agents Mobiles, Ph.D. Thesis, Ecole Polytechnique, 2001
6. Fournet C., Gonthier G., Levy J.J., Maranget L., and Remy D. A calculus of mobile agents. Proceedings 7th International Conference on Concurrency Theory. CONCUR'96. Lecture Notes in Computer Science vol. 1119 (1996), Springer Verlag 406-421
7. Fournet C., Levy J.J., and Schmitt A. An asynchronous distributed implementation of mobile ambients. Proceedings of the International IFIP Conference TCS 2000, Sendai, Japan. Lecture Notes in Computer Science vol. 1872 (2000), Springer 348-364
8. Gardner P., Laneve C., and Wischik L. The fusion machine. In: Brim L., Jancar P., and Kretinsky M. (Eds). CONCUR 2002. LNCS vol. 2421 (2002), Springer-Verlag 418-433
9. Pablo Garralda, Boxed ambients for global computing, Ph.D. Thesis, Stevens Institute of Technology, NJ, USA, 2007
10. F. Germain, M. Lacoste, J.B. Stefani, An abstract machine for a higher-order distributed process calculus, in: Proceedings of the EACTS Workshop on Foundations of Wide Area Network Computing, F-WAN, July 2002
11. Giannini P., Sangiorgi D., and Valente A. Safe ambients: Abstract machine and distributed implementation. Sci. Comput. Program. 59 3 (2006) 209-249
12. Daniel Hirschkoff, Damien Pous, Davide Sangiorgi, A correct abstract machine for safe ambients, in: COORDINATION, 2005, pp. 17-32
13. Kobayashi N. A type system for lock-free processes. Inform. Comput. 177 2 (2002) 122-159
14. Milner R., Parrow J., and Walker D. A calculus of mobile processes, parts I and II. Inform. Comput. 100 1 (1992) 1-78
15. Phillips A., Yoshida N., and Eisenbach S. A distributed abstract machine for boxed ambient calculi. Proceedings of ESOP 2004. LNCS (2004), Springer-Verlag
16. Pierce B.C., and Turner D.N. Pict: A programming language based on the pi-calculus. In: Plotkin G., Stirling C., and Tofte M. (Eds). Proof, Language and Interaction: Essays in Honour of Robin Milner (2000), MIT Press 455-494
17. Sangiorgi D., and Walker D. The π-calculus: A Theory of Mobile Processes (2001), Cambridge University Press
18. Sewell P. On implementations and semantics of a concurrent programming language. Proceedings of CONCUR 97: Concurrency Theory (Warsaw). LNCS vol. 1243 (1997) 391-405
19. D. Turner, The polymorphic π-calculus: Theory and implementation, Technical Report, University of Edinburgh, GB, 1996
20. A. Unyapoth, P. Sewell, Nomadic pict: Correct communication infrastructures for mobile computation, in: Proceedings ACM Int. Conf. on Principles of Programming Languages, POPL, 2001, pp. 116-127
21. Lucian Wischik, Explicit fusions: Theory and implementation, Ph.D. Thesis, Computer Laboratory, University of Cambridge, 2001
22. Wojciechowski P., and Sewell P. Nomadic pict: Language and infrastructure. IEEE Concurr. 8 2 (2000) 42-52