Atlas home || Conferences | Abstracts | about Atlas
Host: Pennsylvania State University
Homepage: http://www.docs.uu.se/~victor/Express/express00.shtml
Organizers: Luca Aceto (Co-Chair), Björn Victor (Co-Chair)
Description:
The EXPRESS workshops aim at bringing together researchers interested in the relations between various formal systems,
particularly in the field of Concurrency. More specifically, they focus on the comparison between programming concepts (such
as concurrent, functional, imperative, logic and object-oriented programming) and between mathematical models of
computation (such as process algebras, Petri nets, event structures, modal logics, rewrite systems etc.) on the basis of their
relative expressive power.
Speakers: Neil Jones (DIKU, Copenhagen, DK)
Date received: May 11, 2000
© 2008 Atlas Conferences Inc.