|
СТ |
Expressiveness of Timed Events and Timed Languages |
2004 |
Cacciagrano D. R., Corradini F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
29.01.2005 |
|
СТ |
Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS |
2002 |
Corradini F., Vogler W., Jenner L. |
|
|
|
Acta Informatica |
23.01.2003 |
|
СТ |
Closed Interval Process Algebra versus Interval Process Algebra |
2001 |
Corradini F., Pistore M. |
|
|
|
Acta Informatica |
18.05.2001 |
|
СТ |
Static Analysis of Real-Time Component-Based Systems Configurations |
1999 |
Attasio C., Corradini F., Inverardi P. |
|
|
|
Lecture Notes in Computer Science |
18.05.1999 |
|
СТ |
Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance |
1999 |
Attanasio C., Corradini F., Inverardi P. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
|
СТ |
On the Specification and Verification of Performance Properties for a Timed Process Algebra |
1997 |
Chen X. J., Corradini F. |
|
|
|
Lecture Notes in Computer Science |
30.12.1997 |
|
СТ |
Performance Preorder and Competitive Equivalence |
1997 |
Corradini F., Gorrieri R., Roccetti M. |
|
|
|
Acta Informatica |
11.12.1997 |
|
СТ |
Locality Based Semantics for Process Algebras |
1997 |
Corradini F., De Nicola R. |
|
|
|
Acta Informatica |
16.05.1997 |
|
СТ |
Specification and Verification of Timed Lazy Systems |
1996 |
Corradini F., Pistore M. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1996 |
11.10.1996 |
|
СТ |
Performance Preorder: Ordering Processes with Respect to Speed |
1995 |
Corradini F., Gorrieri R., Roccetti M. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
24.10.1995 |
|
СТ |
Fully Abstract Models for Nondeterministic Regular Expressions |
1995 |
Corradini F., De Nicola R., Labella A. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
Distribution and Locality of Concurrent Systems |
1994 |
Corradini F., De Nicola R. |
|
|
|
Lecture Notes in Computer Science |
09.08.1994 |
