6. TAPSOFT 1995: Aarhus, Denmark

Invited Lectures

CAAP

Trees & Automata

Concurrency I

Logic & Specification

Formal Languages

Concurrency II

Rewriting Systems

Semantics

FASE

Types

Tools

Static Analysis

Case Studies

Transformations

Concurrency

Specifications

TOOLS