A Graph Abstract Machine Describing Event Structure Composition

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 4 SPEC. ISS., 2007, Pages 21-36

  Faggian, Claudia ^a   Piccolo, Mauro ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

directed acyclic graph; Event structures; game semantics; linear logic; proof nets

Indexed keywords

ABSTRACTING; COMPUTER SCIENCE; GAME THEORY; SEMANTICS;

ACYCLIC GRAPHS; DIRECTED ACYCLIC GRAPH; EVENT STRUCTURES; LINEAR LOGIC; NORMALIZATION;

GRAPH THEORY;

EID: 34250825266     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.04.014     Document Type: Article

References (17)

1. S. Abramsky and P.-A. Mellies. Concurrent games and full completeness. In Proceedings 15th Annual Symposium on Logic in Computer Science, 1999
2. Curien P.-L., and Faggian C. L-nets, strategies and proof-nets. CSL 05 (Computer Science Logic). LNCS (2005), Springer
3. Faggian C. Travelling on designs: ludics dynamics. CSL'02 (Computer Science Logic). LNCS volume 2471 (2002), Springer Verlag
4. Faggian C., and Maurel F. Ludics nets, a game model of concurrent interaction. Proc. of LICS'05 (Logic in Computer Science) (2005), IEEE Computer Society Press
5. C. Faggian and M. Piccolo. Event structures and linear strategies. submitted
6. Dan R. Ghica and Andrzej S. Murawski. Angelic semantics of fine-grained concurrency. In FOSSACS, 2004
7. Girard J.-Y. Linear logic. Theoretical Computer Science 50 (1987) 1-102
8. Girard J.-Y. Locus solum. Mathematical Structures in Computer Science 11 (2001) 301-506
9. Hyland M., and Schalk A. Games on graphs and sequentially realizable functionals. LICS 02 (2002), IEEE 257-264
10. Laird J. A game semantics of the asynchronous pi-calculus. Concur 05. LNCS volume 3653 (2005)
11. G. McCusker and M. Wall. Categorical and game semantics for scir. In Galop 2005, pages 157-178, 2005
12. Mellies P.-A. Asynchronous games 2 : The true concurrency of innocence. CONCUR 04. LNCS volume 3170 (2004), Springer Verlag
13. Honda K., Yoshida N., and Berger M. Sequentiality and the pi-calculus. Proc. of TLCA 2001, the 5th International Conference on Typed Lambda Calculi and Applications. LNCS (2001), Springer Extended abstract
14. Nielsen M., Plotkin G., and Winskel G. Event structures and domains 1. Theoretical Computer Science 13 (1981) 85-108
15. M. Piccolo. Event structures and strategies. Master's thesis, Dip. Matematica Pura e Applicata, Universitá di Padova, 2006
16. Schalk A., and Palacios-Perez J.J. Concrete data structures as games. CTCS 04. Electr. Notes Theor. Comput. Sci. volume 122 (2005)
17. D. Varacca and N. Yoshida. Typed event structures and the pi-calculus. In MFPS, 2006