|
|
| EXPRESS'01 |
| 8th International Workshop on |
| Expressiveness in Concurrency |
| August 20, 2001 |
| Aalborg University, Denmark |
| Held in conjunction with the conference CONCUR 2001. |
|
|
|
|
|||||||
|
||||||||
For information on how to reach the workshop location from the centre of Aalborg, look at the relevant CONCUR'01 page.
| Time | Author(s) | Title |
|---|---|---|
| 9.00 | Luca/Prakash | Welcome |
| Session 1 | Chair: Prakash Panangaden | |
| 9.10 | Antoine Petit | About Extensions of Timed Automata (invited talk) |
| 10.00 | Anne Labroue Philippe Schnoebelen | An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems |
| 10.25 | Coffee | |
| Session 2 | Chair: Franck van Breugel | |
| 11.00 | Alan Martin | Adequate Sets of Temporal Connectives in CTL |
| 11.25 | J. C. Bradfield S. B. Froeschle | On Logical and Concurrent Equivalences |
| 11.55 | Jan Strejcek | Rewrite Systems with Constraints |
| 12.20 | Lunch | |
| Session 3 | Chair: Luca Aceto | |
| 14.00 | Zoltán Ésik | The Equational Logic of Fixed Points with Applications to Concurrency (invited talk) |
| 14.50 | Catuscia Palamidessi Frank D. Valencia | A Calculus for Temporal Concurrent Constraint Programming (short abstract) |
| 15.15 | Coffee | |
| Session 4 | Chair: Ilaria Castellani | |
| 15.45 | Roberto M. Amadio Charles Meyssonnier | On the Decidability of Fragments of the Asynchronous pi-Calculus |
| 16.10 | K. V. S. Prasad | Broadcast Calculus Interpreted in CCS upto Bisimulation |
| 16.35 | Tom Chothia Ian Stark | Encoding Distributed Areas and Local Communication into the pi-Calculus |
| 17.00 | Dina Q. Goldin Scott A. Smolka Peter Wegner | Turing Machines, Transition Systems, and Interaction |
| 17.25 | Closing and Small Reception | |
Last modified: Friday, 17-Aug-2001 09:39:49 CEST.