СТ |
A Dependently Typed Ambient Calculus |
2004 |
Lhoussaine C., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
23.04.2004 |
СТ |
Properties of Distributed Timed-Arc Petri Nets |
2001 |
Nielsen M., Sassone V., Srba J. |
|
|
|
Lecture Notes in Computer Science |
22.12.2001 |
СТ |
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 |
СТ |
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 |
СТ |
Representation Theorems for Petri Nets |
1997 |
Meseguer J., Montanari U., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
28.11.1997 |
СТ |
Axiomatizing Petri Net Concatenable Processes |
1995 |
Sassone V. |
Lecture Notes in Computer Science |
|
|
Fundamentals of Computation Theory |
18.10.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 the Category of Petri Net Computations |
1995 |
Sassone V. |
|
|
|
Lecture Notes in Computer Science |
16.06.1995 |
СТ |
Relationships Between Models of Concurrency |
1994 |
Nielsen M., Sassone V., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
СТ |
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 |
СТ |
Deterministic Behavioural Models for Concurrency |
1993 |
Sassone V., Nielsen M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
СТ |
A Classification of Models for Concurrency |
1993 |
Sassone V., Nielsen M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
СТ |
On the Semantics of Petri Nets |
1992 |
Meseguer J., Montanari U., Sassone V. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |