Angelic semantics of fine-grained concurrency

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

Volumn 2987, Issue , 2004, Pages 211-225

  Ghica, Dan R ^a   Murawski, Andrzej S ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES;

FINE-GRAINED CONCURRENCY; GAME MODELS; MODEL USE; PARALLEL COMPOSITION; PROCEDURAL PROGRAMMING LANGUAGES; PROCESS CREATION;

SEMANTICS;

EID: 35048861889     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24727-2_16     Document Type: Article

References (16)

1. Brookes, S.: The essence of Parallel Algol. Chapter 21 of [2].
2. O'Hearn, P.W., Tennent, R.D., eds.: ALGOL-like Languages. Progress in Theoretical Computer Science. Birkhäuser (1997)
3. Abramsky, S., McCusker, G.: Linearity, sharing and state: a fully abstract game semantics for Idealized Algol with active expressions. Chapter 20 of [2].
4. Hyland, J. M. E., Ong, C.-H. L.: On full abstraction for PCF: I, II and III. Information and Computation 163(2) (2000) 285-408
5. Abramsky, S., Melliés, P. A.: Concurrent games and full completeness. In: Proceedings of LICS (1999) 431-442
6. Abramsky, S.: Game semantics of Idealized Parallel Algol. Lecture given at the Newton Institute (1995)
7. Laird, J.: A games semantics of Idealized CSP. In: Volume 45 of Electronic Notes in Theoretical Computer Science (2001) 157-176
8. Brookes, S.: Full abstraction for a shared variable parallel language. Chapter 21 of [2].
9. Röckl, C., Sangiorgi, D.: A π-calculus process semantics of Concurrent Idealized Algol. In: Proceedings of FOSSACS, Volume 1578 of LNCS (1999) 306-322
10. lidding, J.T.: A formal model for defining and classifying delay-insensitive circuits and systems. Distributed Computing 1(4) (1986) 197-204
11. Jifeng, II., Josephs, M.B., Hoare, C.A.R.: A theory of synchrony and asynchrony. In: Programming Concepts and Methods. Elsevier (1990) 459-473
12. Andrews, G.: Concurrent Programming: principles and practice. Addison-Wesley Publishing Company (1991)
13. Ghica, D. R., Murawski, A. S.: Angelic semantics of fine-grained concurrency. Technical Report PRG-RR-03-20. Oxford University Computing Laboratory (2003)
14. Ghica, D. R., McCusker, G.: Reasoning about Idealized ALGOL using regular languages. In: Proceedings of ICALP. Volume 1853 of LNCS (2000) 103-116
15. Abramsky, S., Ghica, D. R., Murawski, A. S., Ong, C.-H. L.: Algorithmic game semantics and component-based verification. In: Proceedings of TACAS. LNCS (2004)
16. Harmer, R., McCusker, G.: A fully abstract game semantics for finite nondeterminism. In: Proceedings of LICS (1999) 422-430