FMOODS 2000 Demo and Poster Sessions

Poster Sessions will take place in Gates B08

Demos will take place in B03

Poster and Demo Abstracts

Wednesday, 6 September 2000

1:00-1:55 Posters

A Composable Reflective Communication Framework
Sebastian Gutierrez-Nolasco and Nalini Venkatasubramanian

Efficient Methods for Verification of Distributed Systems by Petri Nets
Andrei Kovalyov

1:30-1:55 Demo Session 1

PetShop : a tool for the formal specification of CORBA systems
Remi Bastide

Thursday, 7 September 2000

1:00-1:55 Demo Session 2

BOBJ
Grigore Rosu

Maude
Mark-Oliver Stehr