Configuration theories

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

Volumn 2471, Issue , 2002, Pages 200-215

  Cenciarelli, Pietro ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Concurrency; Configuration structures; Java; Semantics; Sequent calculus

Indexed keywords

CALCULATIONS; CONFORMAL MAPPING; DIFFERENTIATION (CALCULUS); JAVA PROGRAMMING LANGUAGE; SEMANTICS; SET THEORY;

CONCURRENCY; CONCURRENT PROGRAM; CONCURRENT SYSTEMS; JAVA; JAVA MEMORY MODEL; NONTRIVIAL PROPERTIES; PARTIALLY ORDERED SET; SEQUENT CALCULUS;

COMPUTER CIRCUITS;

EID: 34250029588     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45793-3_14     Document Type: Conference Paper

References (9)

1. P. Cenciarelli. Event Structures for Java. In S. Drossopoulou, S. Eisenbach, B. Jacobs, G. Leavens, P. Mueller, and A. Poetzsch-Heffter, editors, Proceedings of the ECOOP 2000 Workshop on Formal Techniques for Java Programs, Cannes, France, June 2000.
2. P. Cenciarelli, A. Knapp, B. Reus, and M. Wirsing. An Event-Based Structural Operational Semantics of Multi-Threaded Java. In J. Alves- Foss, editor, Formal Syntax and Semantics of Java, 1523 LNCS. Springer, 1998.
3. R. J. van Glabbeek and U. Goltz. Refinement of Actions in Causality Based Models. In W.P. de Roever J. W. de Bakker and G. Rozenberg, editors, LNCS 430, pages 267-300. Springer-Verlag, 1990.
4. R. J. van Glabbeek and U. Goltz. Refinement of actions and equivalence notions for concurrent systems. Acta Informatica, 37:229-327, 2001.
5. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
6. R. J. van Glabbeek and G.D. Plotkin. Configuration structures (extended abstract). In D. Kozen, editor, Proceedings of LICS’95, pages 199-209. IEEE Computer Society Press, June 1995.
7. M. Nielsen, G. D. Plotkin, and G. Winskel. Petri Nets, Event Structures and Domains: Part I. Theoretical Computer Science, 13(1):85-108, 1981.
8. G. Winskel. Event Structure Semantics of CCS and Related Languages. Springer LNCS, 140, 1982. Proceedings ICALP’82.
9. Glynn Winskel. Event Structures. In G. Rozemberg W. Brauer, W. Reisig, editor, Petri Nets: Applications and Relationships to Other Models of Concurrency, number 255 in LNCS. Springer-Verlag, 1987.