|
СТ |
A General Resource Framework for Real-Time Systems |
2004 |
Lee I., Philippou A., Sokolovsky O. |
|
|
|
Lecture Notes in Computer Science |
28.04.2004 |
|
СТ |
Modeling and Analysis of Power-Aware Systems |
2003 |
Sokolsky O., Philippou A., Lee I., Christou K. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
|
СТ |
Probabilistic Resource Failure in Real-Time Process Algebra |
1998 |
Philippou A., Cleaveland R., Lee I., Smolka S., Sokolovsky O. |
|
|
|
Lecture Notes in Computer Science |
11.09.1998 |
|
СТ |
Social Confluence in Client-Server Systems |
1997 |
Philippou A., Walker D. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
|
СТ |
On Sharing and Determinacy in Concurrent Systems |
1995 |
Philippou A., Walker D. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
17.10.1995 |
