• REQUIREMENTS-LEVEL SEM...
• Abstract Semantics of ...
• Crossing the Gap betwe...
• Abstract SEMANTIC FORE...
• Abstract An Architectu...
• The Rhapsody Semantics...
• A fully abstract game ...