behavior workshop final agenda

[Jiri Adamek <adamek@xxxxxxxxxxxxxxxxxxxx>]

Dear behavior workshop participants,

this is the final agenda of the behavior workshop (no changes from the 
tentative agenda).

10:00   Jean-Bernard Stefani:    Process Calculus Approach to Behavior 
                                 Specifications (preliminary title)
10:30   Frantisek Plasil:        Behavior Protocols - Background
11:00   Jiri Adamek:             The Power of Capturing Composition Errors
11:30   Jan Kofron:              Challenges of Protocol Checker 
                                 Implementation
12:00   Eric Madelaine:          Behavioural Models for Distributed Objects
12:30   Vladimir Mencl:          SOFA/Fractal Component Design via Use Cases


Best regards

Jiri Adamek
----------------------------------
Distributed Systems Research Group
Department of Software Engineering
Faculty of Mathematics and Physics
Charles University in Prague
Malostranske namesti 25
11800, Prague 1, Czech Republic
http://nenya.ms.mff.cuni.cz/

e-mail: adamek@xxxxxxxxxxxxxxxxxxxx
phone:  +420 2 2191 4236
fax:    +420 2 2191 4323
http://nenya.ms.mff.cuni.cz/~adamek/