| 2004 |
|---|
| 9 | EE | Franck Pommereau:
Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.
International Conference on Computational Science 2004: 322-330 |
| 2003 |
|---|
| 8 | EE | Franck Pommereau:
Causal Time Calculus.
FORMATS 2003: 260-272 |
| 7 | EE | Raymond R. Devillers,
Hanna Klaudel,
Maciej Koutny,
Franck Pommereau:
Asynchronous Box Calculus.
Fundam. Inform. 54(4): 295-344 (2003) |
| 2002 |
|---|
| 6 | EE | Raymond R. Devillers,
Hanna Klaudel,
Maciej Koutny,
Franck Pommereau:
An Algebra of Non-safe Petri Boxes.
AMAST 2002: 192-207 |
| 5 | EE | Cécile Bui Thanh,
Hanna Klaudel,
Franck Pommereau:
Petri nets with causal time for system verification.
Electr. Notes Theor. Comput. Sci. 68(5): (2002) |
| 4 | | Hanna Klaudel,
Franck Pommereau:
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.
Fundam. Inform. 50(1): 33-55 (2002) |
| 2001 |
|---|
| 3 | EE | Hanna Klaudel,
Franck Pommereau:
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.
ICATPN 2001: 204-223 |
| 2000 |
|---|
| 2 | EE | Hanna Klaudel,
Franck Pommereau:
A Concurrent and Compositional Petri Net Semantics of Preemption.
IFM 2000: 318-337 |
| 1999 |
|---|
| 1 | EE | Hanna Klaudel,
Franck Pommereau:
Asynchronous Links in the PBC and M-Nets.
ASIAN 1999: 190-200 |
