|
СТ |
From Event-Oriented Models to Transition Systems |
2018 |
Gribovskaya N., Virbitskaite I., Best E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
25.09.2018 |
|
СТ |
Separability in Conflict-Free Petri Nets |
2007 |
Best E., Esparza J., Wimmel H., Wolf K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.04.2007 |
|
СТ |
Recursion and Petri Nets |
2001 |
Best E., Devillers R., Kounty M. |
|
|
|
Acta Informatica |
20.08.2001 |
|
СТ |
Weak and Strong Composition of High-Level Petri Nets |
1999 |
Best E., Lavrov A. |
|
|
|
Lecture Notes in Computer Science |
15.09.1999 |
|
СТ |
The Box Algebra - A Model of Nets and Process Expressions |
1999 |
Best E., Devillers R., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
16.07.1999 |
|
СТ |
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 |
|
П |
Concurrent Systems and Processes |
1985 |
Best E., Fernandez C., Plunnecke H. |
|
|
GMD |
|
07.07.1998 |
|
П |
Comparing Logical and Behavioural Equivalences for Event Structures |
1996 |
Virbitskaite I., Votintseva A., Best E. |
|
|
Univ. Hildesheim |
|
22.04.1998 |
|
СТ |
Partial Order and SOS Semantics for Linear Constraint Programs |
1997 |
Best E., de Boer F. S., Palamidessi C. |
|
|
|
Lecture Notes in Computer Science |
12.09.1997 |
|
СТ |
A Memory Module Specification Using Composable High-Level Petri Nets |
1996 |
Best E. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
|
СТ |
Frozen Tokens and D-Continuity: A Study in Relating System Properties to Process Properties |
1988 |
Best E., Merceron A. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
|
СТ |
Towards Compositional Predicate Transformer Semantics for Concurrent Programs |
1989 |
Best E. |
|
|
|
J.W. de Bakker, 25 Jaar Semantiek |
04.10.1995 |
|
СТ |
Solving Recursive Net Equations |
1995 |
Best E., Koutny M. |
Lecture Notes in Computer Science |
|
|
Automata, Languages and Programming |
10.09.1995 |
|
СТ |
A Refined View of the Box Algebra |
1995 |
Best E., Koutny M. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
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 |
|
СТ |
Petri Net Semantics of Priorities |
1990 |
Best E. |
|
|
Univ. di Pisa |
Concurrency and Compositionality |
30.06.1995 |
|
СТ |
Operational Semantics for the Petri Box Calculus |
1994 |
Koutny M., Esparza J., Best E. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Compositional Process Semantics of Petri Boxes |
1994 |
Best E., Linde-Goers H. -G. |
|
|
|
Lecture Notes in Computer Science |
28.06.1994 |
|
СТ |
B (PN)2 - a Basic Petri Net Programming Notation |
1993 |
Best E., Hopkins R. |
|
|
|
Lecture Notes in Computer Science |
29.07.1993 |
|
СТ |
General Refinement and Recursion Operators for the Petri Box Calculus |
1993 |
Best E., Devillers R., Esparza J. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
|
СТ |
Esprit Basic Research Action 3148 DEMON (Design Methods Based on Nets) - Aims, Scope and Achievements - |
1992 |
Best E. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
The Box Calculus: a New Causal Algebra with Multi-label Communication |
1992 |
Best E., Devillers R., Hall J. G. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
|
СТ |
Petri net semantics of priority systems |
1992 |
Best E., Koutny M. |
|
|
|
Theoretical Computer Science |
07.05.1992 |
|
СТ |
Concurrent bisimulation in Petri nets |
1991 |
Best E., Devillers R., Kiehn A., Pomello L. |
|
|
|
Acta Informatica |
26.06.1991 |
|
СТ |
Partial Order Semantics of Concurrent Programs |
1990 |
Best E. |
|
|
|
Lecture Notes in Computer Science |
01.02.1991 |
