|
СТ |
CLOWN as a Testbed for Concurrent Object-Oriented Concepts |
2001 |
Battiston E., Chizzoni A., De Cindio F. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
|
СТ |
Modular Algebraic Nets to Specify Concurrent Systems |
1996 |
Battiston E., De Cindio F., Mauri G. |
|
|
|
IEEE Transactions on Software Engineering |
20.02.1997 |
|
СТ |
A Petri net model of SDL |
1988 |
De Cindio F., Lanzarone G. A., Torgano A. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
|
СТ |
An Incremental Specification of a Hydroelectronic Power Plant Control System Using a Class of Modular Algebraic Nets |
1995 |
Battiston E., Botti O., Crivelli E., De Cindio F. |
|
|
|
Lecture Notes in Computer Science |
05.07.1995 |
|
СТ |
A Survey of Basic Net Models and Modular Net Classes |
1992 |
Bernardinello L., De Cindio F. |
|
|
|
Lecture Notes in Computer Science |
09.07.1992 |
