Вы здесь

Sassone V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Semantics of Petri Nets 1992 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 16.10.1992
СТ A Classification of Models for Concurrency 1993 Sassone V., Nielsen M., Winskel G. Lecture Notes in Computer Science 19.10.1993
СТ Deterministic Behavioural Models for Concurrency 1993 Sassone V., Nielsen M., Winskel G. Lecture Notes in Computer Science 21.10.1993
СТ On the Model of Computation of Place/Transition Petri Nets 1994 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 21.07.1994
СТ Relationships Between Models of Concurrency 1994 Nielsen M., Sassone V., Winskel G. Lecture Notes in Computer Science 05.08.1994
СТ On the Category of Petri Net Computations 1995 Sassone V. Lecture Notes in Computer Science 16.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
СТ Axiomatizing Petri Net Concatenable Processes 1995 Sassone V. Lecture Notes in Computer Science Fundamentals of Computation Theory 18.10.1995
СТ Representation Theorems for Petri Nets 1997 Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 28.11.1997
СТ A Comparison of Petri Net Semantics under the Collective Token Philosophy 1998 Bruni R., Meseguer J., Montanari U., Sassone V. Lecture Notes in Computer Science 18.12.1998
СТ High-Level Petri Nets as Type Theories in the Join Calculus 2001 Buscemi M. G., Sassone V. Lecture Notes in Computer Science 05.05.2001
СТ Properties of Distributed Timed-Arc Petri Nets 2001 Nielsen M., Sassone V., Srba J. Lecture Notes in Computer Science 22.12.2001
СТ A Dependently Typed Ambient Calculus 2004 Lhoussaine C., Sassone V. Lecture Notes in Computer Science 23.04.2004