|
СТ |
A Formal Basis for Reasoning on Programmable QoS |
2003 |
De Nicola R., Ferrari G., Nontanari U., Pugliese R., Tuosto E. |
|
|
|
Lecture Notes in Computer Science |
26.03.2004 |
|
СТ |
From Co-algebraic Specifications to Implementation: The Mihda Toolkit |
2003 |
Ferrari G., Montanari U., Raggi R., Tuosto E. |
|
|
|
Lecture Notes in Computer Science |
31.01.2004 |
|
СТ |
Graph-Based Models of Internetworking Systems |
2003 |
Ferrari G., Montanari U., Tuosto E. |
|
|
|
Lecture Notes in Computer Science |
25.12.2003 |
|
СТ |
A LTS Semantics of Ambients via Graph Synchronization with Mobility |
2001 |
Ferrari G., Montanari U., Tuosto E. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
02.11.2001 |
|
СТ |
An Ada95 Implementation of a Network Coordination Language with Code Mobility |
1999 |
Tuosto E. |
|
|
|
Lecture Notes in Computer Science |
29.06.1999 |
