СТ |
Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs |
2000 |
Baldan P., Busi N., Corradini A., Pinna G. M. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
СТ |
Process Calculi for Coordination: From Linda to JavaSpaces |
2000 |
Busi N., Gorrieri R., Zavattaro G. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
СТ |
On the Expressiveness of Event Notification in Data-Driven Coordination Languages |
2000 |
Busi N., Zavattaro G. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
СТ |
Non Sequential Semantics for Contextual P/T Nets |
1996 |
Busi N., Pinna G. M. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
СТ |
A Petri Net Semantics for Pi-calculus |
1995 |
Busi N., Gorrieri R. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
СТ |
Distributed Conflicts in Communicating Systems |
1995 |
Busi N., Gorrieri R. |
Lecture Notes in Computer Science |
|
|
Object-Based Models and Languages for Concurrent Systems |
30.08.1995 |