Action Semantics

Home Page
(URL http://www.brics.dk/Projects/AS)
 
BRICS · Department of Computer Science · University of Aarhus · Denmark

March 29, 2004

This is the main home page for the framework known as Action Semantics.

Please report missing links and other inaccuracies to the editor: Peter D. Mosses (pdmosses@brics.dk).

Announcements

  • AN-2: new version of Action Notation to be finalized soon
  • Apologies for delays with updating these pages...
  • Thesis on implementing AN-2
  • Paper on a new modular structure for AS
  • AS 2002 Proceedings available
  • AS 2000 Proceedings available
  • AN-2: Proposal for a new version of Action Notation
  • Papers on Modular SOS available as BRICS reports
  • Contents

  • About Action Semantics
  • A Simple Illustrative ASD
  • News
  • AN-2: Revised Action Notation Proposal
  • Documents
  • Overview of AN-2
  • Links
  • Current Sites of Action Semantics Research
  • Previous Sites of Action Semantics Research
  • Links to Other Relevant Pages
  • Available Tools
  • Actress
  • ASD Tools
  • OASIS
  • Recife Action Tools
  • Bibliography
  • Textbooks, Tutorials, and Overview Papers
  • Origins
  • Foundations
  • Theory
  • Type Inference
  • Provably-Correct Compiler Generation
  • Action Analysis and Compiler Generation
  • Action Equivalence
  • Practice
  • ASDs of Programming Languages
  • Pascal:
  • Standard ML:
  • The ANDF-FS:
  • Concurrent Languages
  • Tools
  • References

  • Peter D. Mosses (pdmosses@brics.dk), March 29, 2004
    Action Semantics Home Page