You do not have permission to edit this page, for the following reason:
The action you have requested is limited to users in the group: Users.
Add another
The 9. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2006 ==Topics== *Algebraic models *Automata and language theory *Behavioural equivalences *Categorical models *Computation processes over discrete and continuous data *Infinite state systems *Computation structures *Logics of programs *Modal, spatial, and temporal logics *Models of concurrent, reactive, distributed, and mobile systems *Process algebras and calculi *Semantics of programming languages *Software specification and refinement *Type systems and type theory
Save page Show preview Cancel