| - | - Carl Adam Petri (Topology),
- New Dimensions for Nets
|
| |
| - | - Francisco Curbera (Processes for a Service Oriented World),
- Processes for a service oriented world
|
| |
| - | - Jeannette Wing (Software Engineering),
- Towards an Algebra for Security Policies
|
| |
| - | - Giuliana Franceschinis (Performance Analysis),
- Expressiveness and efficient analysis of stochastic well formed nets
|
| |
| - | - Manuel Silva (Continuous and hybrid systems),
- Continuization of timed Petri nets: from performance evaluation to observation and control
|
| |
| - | - Ken McMillan (Model Checking),
- Applications of Craig's Interpolation to Model Checking
|
