Toward a grainless semantics for shared-variable concurrency

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

Volumn 3328, Issue , 2004, Pages 35-48

  Reynolds, John C ^a,b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; SOFTWARE ENGINEERING;

CRITICAL REGION; GRAINLESS; OVERLAPPING OPERATIONS; PROGRAM EXECUTION; SHARED VARIABLES;

SEMANTICS;

EID: 33846487878     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30538-5_4     Document Type: Article

References (8)

1. Reynolds, J.C.: Towards a grainless semantics for shared variable concurrency (abstract only). In: Conference Record of POPL 2004: The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New York, ACM Press (2004)
2. Hoare, C.A.R.: Towards a theory of parallel programming. In Hoare, C.A.R., Perrott, R.H., eds.: Operating Systems Techniques. Volume 9 of A.P.I.C. Studies in Data Processing, London, Academic Press (1972) 61-71
3. Brinch Hansen, P.: Structured multiprogramming. Communications of the ACM 15 (1972) 574-578
4. Reynolds, J.C.: Separation logic: A logic for shared mutable data structures. In: Proceedings Seventeenth Annual IEEE Symposium on Logic in Computer Science, Los Alamitos, California, IEEE Computer Society (2002) 55-74
5. O'Hearn, P.W.: Resources, concurrency and local reasoning. In: CONCUR 2004 - Concurrency Theory, Proceedings of the 15th International Conference. Volume 3170 of Lecture Notes in Computer Science, Berlin, Springer-Verlag (2004) 49-67
6. Brookes, S.D.: A semantics for concurrent separation logic. In: CONCUR 2004 - Concurrency Theory, Proceedings of the 15th International Conference. Volume 3170 of Lecture Notes in Computer Science, Berlin, Springer-Verlag (2004) 16-34
7. Brookes, S.D.: Full abstraction for a shared-variable parallel language. Information and Computation 127 (1996) 145-163
8. Park, D.M.R.: On the semantics of fair parallelism. In Bjørner, D., ed.: Abstract Software Specifications. Volume 86 of Lecture Notes in Computer Science, Berlin, Springer-Verlag (1980) 504-526