9. FoSSaCS 2006: Vienna, Austria (Part of ETAPS 2006)

Invited Talk

Mobile Processes

Software Science

Distributed Computation

Categorical Models

Real Time and Hybrid Systems

Process Calculi

Automata and Logic

Automata and Logic

Security

maintained by Schloss Dagstuhl LZI at University of Trier