The SCEAS System
| |||||||

## Search the dblp DataBase
Franck Pommereau:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
**An Algebra of Non-safe Petri Boxes.**[Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:192-207 [Conf] - Hanna Klaudel, Franck Pommereau
**A Concurrent Semantics of Static Exceptions in a Parallel Programming Language.**[Citation Graph (0, 0)][DBLP] ICATPN, 2001, pp:204-223 [Conf] - Hanna Klaudel, Franck Pommereau
**Asynchronous Links in the PBC and M-Nets.**[Citation Graph (0, 0)][DBLP] ASIAN, 1999, pp:190-200 [Conf] - Franck Pommereau
**Causal Time Calculus.**[Citation Graph (0, 0)][DBLP] FORMATS, 2003, pp:260-272 [Conf] - Franck Pommereau
**Petri Nets as Executable Specifications of High-Level Timed Parallel Systems.**[Citation Graph (0, 0)][DBLP] International Conference on Computational Science, 2004, pp:322-330 [Conf] - Hanna Klaudel, Franck Pommereau
**A Concurrent and Compositional Petri Net Semantics of Preemption.**[Citation Graph (0, 0)][DBLP] IFM, 2000, pp:318-337 [Conf] - Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau
**Petri nets with causal time for system verification.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal] - Raymond R. Devillers, Hanna Klaudel, Maciej Koutny, Franck Pommereau
**Asynchronous Box Calculus.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2003, v:54, n:4, pp:295-344 [Journal] - Hanna Klaudel, Franck Pommereau
**A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 2002, v:50, n:1, pp:33-55 [Journal] **Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.**[Citation Graph (, )][DBLP]**Towards Efficient Verification of Systems with Dynamic Process Creation.**[Citation Graph (, )][DBLP]**An approach to state space reduction for systems with dynamic process creation.**[Citation Graph (, )][DBLP]**Versatile boxes: a multi-purpose algebra of high-level Petri nets.**[Citation Graph (, )][DBLP]**Quickly prototyping petri nets tools with SNAKES.**[Citation Graph (, )][DBLP]**M-nets: a survey.**[Citation Graph (, )][DBLP]**Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters.**[Citation Graph (, )][DBLP]
Search in 0.011secs, Finished in 0.012secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |