Вы здесь

Priese L.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Strong Fairness and Ultra Metric 1992 Priese L., Notle D. Theoretical Computer Science 30.06.1992
П Approaching Fair Computations by Ultra Metrices 1990 Priese L. 13.05.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
П Fairness, Distances and Degrees 1990 Darondeau P., Nolte D., Priese L., Yoccoz S. INRIA 01.06.1995
СТ 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
П On Some Compositional Petri Net Semantics 1995 Priese L., Wimmel H. Univ.Koblenz-Landau 10.04.1996
П Abstract Fairness and Semantics 1995 Nolte D., Priese L. Univ.Koblenz-Landau 10.04.1996
СТ A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets 1998 Priese L., Wimmel H. Theoretical Computer Science 24.12.1998