MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Hanna Klaudel" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

with an application to multi-tasking systems
by Hanna Klaudel, Franck Pommereau
… high-level Petri nets with an application to multi-tasking systems Hanna Klaudel Franck Pommereau LACL…
Add To MetaCart

A concurrent and compositional Petri net semantics of preemption
by Hanna Klaudel, Franck Pommereau — 1945 — In W. Grieskamp, T. Santen, B. Stoddart (Eds.),Proc. of IFM'00, LNCS 1945
… and compositional Petri net semantics of preemption Hanna Klaudel and Franck Pommereau LACL, Université Paris XII 61…
Cited by 4 (3 self) – Add To MetaCart

Asynchronous links in the PBC and M-nets
by Hanna Klaudel, Franck Pommereau — 1999 — In Proc. of ASIAN'99, LNCS 1742:190200
… in the PBC and M-nets Hanna Klaudel and Franck Pommereau Universite Paris XII, 61 Avenue du General de…
Cited by 3 (2 self) – Add To MetaCart

A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
by Hanna Klaudel, Franck Pommereau — 2001 — Advances in Petri Nets 2001, Volume 2075 of LNCS
… Semantics of Static Exceptions in a Parallel Programming Language Hanna Klaudel and Franck Pommereau LACL…
Cited by 4 (2 self) – Add To MetaCart

Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets
by Jean-paul Comet, Hanna Klaudel, Stéphane Liauzu — 2005 — In: G. Ciardo and P. Darondeau (eds), Proc. of the Int. Conf. on the Application and Theory of Petri Nets, Lecture Notes in Computer Science 3536
… , Hanna Klaudel 1 , and Stéphane Liauzu 1 LaMI, UMR CNRS 8042, Université d’Evry-Val d’Essonne, Boulevard…
Cited by 7 (0 self) – Add To MetaCart

Asynchronous Box Calculus
by Raymond Devillers, Hanna Klaudel, Maciej Koutny, H. Klaudel, M. Koutny, Franck Pommereau
…Asynchronous Box Calculus R. Devillers 1 , H. Klaudel 2 , M. Koutny 3 , and F. Pommereau 2…
Cited by 1 (0 self) – Add To MetaCart

M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages
by Eike Best, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
… , Wojciech Fraczak 2 , Richard P. Hopkins 3 , Hanna Klaudel 4 , and Elisabeth Pelz 4 1 Fachbereich…
Cited by 11 (6 self) – Add To MetaCart

Box Calculus with Coloured Buffers
by Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau — 2002
… Calculus with Coloured Buffers Cécile Bui Thanh, Hanna Klaudel, and Franck Pommereau LACL, Université Paris…
Cited by 1 (1 self) – Add To MetaCart

An M-net Semantics of B(PN)²
by Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz — 1995
… , Richard P. Hopkins 4 , Hanna Klaudel 3 and Elisabeth Pelz 5 This work is partly supported by ESPRIT…
Add To MetaCart

A Class of Composable High Level Petri Nets
by Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz — 1995
… Fraczak 3 , Richard P. Hopkins 4 , Hanna Klaudel 3 and Elisabeth Pelz 5 Abstract In this paper a…
Cited by 24 (11 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB