FMPPTA'2001

Friday, April 27

8:30 - 8:45

Introduction
Michel Charpentier and Beverly Sanders

8:45 - 9:30

Invited Speaker: K. Mani Chandy
(California Institute of Technology & iSpheres)
Composition, components, and Web services

Session 1

9:30 - 10:00

A formal model of the java multi-threading system and its validation on a known problem
Serge Chaumette and Asier Ugarte

Coffee Break

Session 2

10:30 - 11:00

Completeness of the Owicki­Gries System for Parameterized Parallel Programs
Leonor Prensa­Nieto

11:00 - 11:30

Petri nets in cryptographic protocols
Federico Crazzolara, Glynn Winskel

11:30 - 12:00

A Broadcast­based Calculus for Communicating Systems
Cristian Ene, Traian Muntean

Lunch Break

Session 3

1:30 - 2:30

Invited Speaker: Jason Hickey
(California Institute of Technology)

2:30 - 3:00

Assume­Guarantee Supervisor for Concurrent Systems
Mohammad Zulkernine and Rudolph E. Seviora

Coffee Break

Session 4

3:30 - 4:00

Formal Specification and Proof Techniques for Mixed Systems
Jean­Claude Royer

4:00 - 4:30

Proving Properties of Multidimensional Recurrences with Application to Regular Parallel Algorithms
D. Cachera, P. Quinton, S. Rajopadhye and T. Risset

4:30 - 5:00

Specifying and verifying a railroad crossing with CafeOBJ
Kazuhiro Ogata and Kokichi Futatsugi

5:00

Closing remarks and discussion

Michel Charpentier <>