|
СТ |
Authentication primitives for secure protocol specifications |
2005 |
Bodei C., Degano P., Focardi R., Priami C. |
|
|
|
FGCS |
04.06.2005 |
|
СТ |
Causality and Replication in Concurrent Processes |
2003 |
Degano P., Gadducci F., Priami C. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
|
СТ |
Causality for Debugging Mobile Agents |
1999 |
Degano P., Priami C., Leth L., Thomsen B. |
|
|
|
Acta Informatica |
30.10.1999 |
|
СТ |
Semantic-Driven Performance Evaluation |
1999 |
Nottegar C., Priami C., Degano P. |
|
|
|
Lecture Notes in Computer Science |
06.04.1999 |
|
СТ |
Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation |
1998 |
Bodei C., Degano P., Priami C. |
|
|
|
Lecture Notes in Computer Science |
01.10.1998 |
|
СТ |
True Concurrency via Abstract Interpretation |
1997 |
Bodei C., Priami C. |
|
|
|
Lecture Notes in Computer Science |
20.09.1997 |
|
СТ |
Mobile Processes with Local Clocks |
1997 |
Degano P., Loddo J. -V., Priami C. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Analysis of Facile Programs: A Case Study |
1997 |
Degano P., Priami C., Leth L., Thomsen B. |
|
|
|
Lecture Notes in Computer Science |
20.02.1997 |
|
СТ |
Complexity as a Basis for Comparing Semantic Models of Concurrency |
1995 |
Mycroft A., Degano P., Priami C. |
|
|
|
Lecture Notes in Computer Science |
12.01.1996 |
|
СТ |
An Efficient Verifier of Truly Concurrent Properties |
1995 |
Bianchi A., Coluccini S., Degano P., Priami C. |
Lecture Notes in Computer Science |
|
|
Parallel Computing Technologies |
18.10.1995 |
|
СТ |
Causality for Mobile Processes |
1995 |
Degano P., Priami C. |
Lecture Notes in Computer Science |
|
|
Automata, Languages and Programming |
10.09.1995 |
|
СТ |
Read-Write Causality |
1994 |
Priami C., Yankelevich D. |
|
|
|
Lecture Notes in Computer Science |
30.09.1994 |
