Вы здесь

Klaudel H.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Class of Composable High Level Petri Nets 1995 Best E., Fleischhack H., Fraczak W., Hopkins R. P., Klaudel H., Pelz E. Lecture Notes in Computer Science 05.07.1995
СТ Communication as Unification in the Petri Box Calculus 1995 Klaudel H., Pelz E. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Consistent Equivalence Notion for Class of High Level Petri Nets 1996 Klaudel H., Riemann R. -C. ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 06.12.1996
СТ General Refinement for High Level Petri Nets 1997 Devillers R., Klaudel H., Riemann R. -C. Lecture Notes in Computer Science 09.01.1998
СТ M-net Calculus Based Semantics for Triggers 1998 Benzaken V., Hugon N., Klaudel H., Pelz E., Riemann R. -C. Lecture Notes in Computer Science 04.07.1998
СТ M-nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages 1998 Best E., Fraczak W., Hopkins R. P., Klaudel H., Pelz E. Acta Informatica 13.11.1998
СТ A Concurrent and Compositional Petri Net Semantics of Preemption 2000 Klaudel H., Pommereau F. Lecture Notes in Computer Science 30.11.2000
СТ Object-Oriented Modeling with High-Level Modular Petri Nets 2004 Thanh C. B., Klaudel H. Lecture Notes in Computer Science 21.05.2004
СТ Petri Net Semantics of the Finite pi-Calculus 2004 Devillers R., Klaudel H., Koutny M. Lecture Notes in Computer Science Lecture Notes in Computer Science 21.01.2005