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 5. International Conference on Foundations of Software Science and Computation Structure (FOSSACS) 2002 ==Topics== *Computation processes over discrete and continuous data, methods and techniques for their manipulation, and analysis of their algorithmic properties. *Type theory, domain theory, category theory. *Models of concurrency, and corresponding calculi, algebras, and logics. *Techniques for proving properties of protocols. *Formal descriptions of general frames for the integration of specification techniques.
Save page Show preview Cancel