Site map of ascg-01

Actress - Documetation on the Actress system for action semantics [pdm]
Appendix A - Action Semantics Project [pdm]
Appendix B - Compiler Generator Project [pdm]
Bibliography - References to supplementary material [pdm]
Chapter 1 - Introduction [pdm]
Chapter 2 - Control and Data Flow [pdm]
Chapter 3 - Scopes of Bindings [pdm]
Chapter 4 - Actions as Data [pdm]
Chapter 5 - Effects on Storage [pdm]
Chapter 6 - Interactive Processes [pdm]
Chapter 7 - Further Concepts [pdm]
Chapter 8 - Action Theory [pdm]
Documents - List of documents [pdm]
How To Run Actress - Instrcutions for running the Actress system at DAIMI [jive]
Preface - About the lecture course [pdm]
RAT - Documentation on Abaco from the Recife Action Tools [pdm]
RML - Documentation on the Relational Meta-Language system for natural semantics [pdm]