Ludics is a model for the finit ary linear pi-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4583 LNCS, Issue , 2007, Pages 148-162

  Faggian, Claudia ^a   Piccolo, Mauro ^b  

^a CNRS   (France)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE ELEMENT METHOD; GAME THEORY; MATHEMATICAL MODELS; SEMANTICS;

GAME SEMANTICS; LINEAR STRATEGIES;

LINEAR PROGRAMMING;

EID: 38149032981     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73228-0_12     Document Type: Conference Paper

References (13)

1. Curien, P.-L., Faggian, C.: L-nets, strategies and proof-nets. In: CSL 05 (Computer Science Logic). LNCS, Springer, Heidelberg (2005)
2. Faggian, C: Linear logic games: Sequential and parallel, draft (2005)
3. Faggian, C., Piccolo, M.: A graph abstract machine describing event structure composition. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, Springer, Heidelberg (2006) (short paper)
4. Faggian, C., Piccolo. M.: Event structures and linear strategies, (submitted)
5. Girard, J.-Y.: Locus solum. Mathematical Structures in Computer Science 11, 301-506 (2001)
6. Hyland, M., Ong, L.: On full abstraction for PCF. Information and Computation (2000)
7. Vasconcelos, V., Honda, K., Yoshida, N.: Secure information flow as typed process behaviour. In: Smolka, G. (ed.) ESOP 2000 and ETAPS 2000. LNCS, vol. 1782, Springer, Heidelberg, Extended abstract (2000)
8. Laurent, O., Honda, K.: An exact correspondence between a typed picalculus and polarised proof-nets, draft (2006)
9. Honda, K., Yoshida, N., Berger, M.: Sequentially and the pi-calculus. In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol. 2044, Springer, Heidelberg, Extended abstract (2001)
10. Honda, K., Yoshida, N., Berger, M.: Strong normalisation in the pi-calculus. Journal of Information and Computation, full version (2003)
11. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
12. Varacca, D., Yoshida, N.: Typed event structures and the pi-calculus. In: MFPS (2006)
13. Yoshida, N., Honda, K.: Noninterference through flow analysis. Journal of Functional Programming, revised (2005)