|
СТ |
A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets |
1998 |
Priese L., Wimmel H. |
|
|
|
Theoretical Computer Science |
24.12.1998 |
|
П |
Abstract Fairness and Semantics |
1995 |
Nolte D., Priese L. |
|
|
Univ.Koblenz-Landau |
|
10.04.1996 |
|
П |
On Some Compositional Petri Net Semantics |
1995 |
Priese L., Wimmel H. |
|
|
Univ.Koblenz-Landau |
|
10.04.1996 |
|
СТ |
Characterizing Behavioural Congruences for Petri Nets |
1995 |
Nielsen M., Priese L., Sassone V. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
П |
Fairness, Distances and Degrees |
1990 |
Darondeau P., Nolte D., Priese L., Yoccoz S. |
|
|
INRIA |
|
01.06.1995 |
|
П |
Strong Fairness, metric spaces, and logical complexity |
1990 |
Priese L., Nolte D. |
|
|
Univ. Gesamthochschule Paderborn |
|
13.05.1995 |
|
П |
Fairness,Distances and Degrees |
1987 |
Darondeau Ph., Nolte D., Priese L., Yoccoz S. |
|
|
IRISA |
|
13.05.1995 |
|
П |
Approaching Fair Computations by Ultra Metrices |
1990 |
Priese L. |
|
|
|
|
13.05.1995 |
|
СТ |
Strong Fairness and Ultra Metric |
1992 |
Priese L., Notle D. |
|
|
|
Theoretical Computer Science |
30.06.1992 |
