|
СТ |
A Petri Net Semantics for Pi-calculus |
1995 |
Busi N., Gorrieri R. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
|
СТ |
A Simple Language for Real-Time Cryptographic Protocol Analysis |
2003 |
Gorrieri R., Locatelli E., Martinelli F. |
|
|
|
Lecture Notes in Computer Science |
16.04.2003 |
|
СТ |
A Stochastic Process Algebra Model for the Analysis of the Alternating Bit Protocol |
1996 |
Bernardo M., Donatiello L., Gorrieri R. |
|
|
|
ISCIS XI: Proc. of the Eleventh Intern. Symp. on Computer and Information Sciences. Antalya, Turkey, November 1996 |
06.12.1996 |
|
СТ |
An Extended Expansion Theorem |
1991 |
Ferrari G., Gorrieri R., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
18.05.1991 |
|
СТ |
Automatic Compositional Verification of Some Security Properties |
1996 |
Focardi R., Gorrieri R. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
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 |
|
СТ |
Distributed Implementation of CCS |
1993 |
Gorrieri R., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
26.06.1993 |
|
СТ |
On Relating Some Models for Concurrency |
1993 |
Degano P., Gorrieri R., Vigna S. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
On Syntactic and Semantic Action Refinement |
1994 |
Goltz U., Gorrieri R., Rensink A. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Performance Preorder and Competitive Equivalence |
1997 |
Corradini F., Gorrieri R., Roccetti M. |
|
|
|
Acta Informatica |
11.12.1997 |
|
СТ |
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 |
|
СТ |
Probabilistic and Prioritized Data Retrieval in the Linda Coodrination Model |
2004 |
Bravetti M., Gorrieri R., Lucchi R., Zavattaro G. |
|
|
|
Lecture Notes in Computer Science |
17.03.2004 |
|
СТ |
Process Calculi for Coordination: From Linda to JavaSpaces |
2000 |
Busi N., Gorrieri R., Zavattaro G. |
|
|
|
Lecture Notes in Computer Science |
17.06.2000 |
|
СТ |
Real-Time System Verification using P/T Nets |
1994 |
Gorrieri R., Siliprandi G. |
|
|
|
Lecture Notes in Computer Science |
21.07.1994 |
|
СТ |
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties |
1997 |
Focardi R., Gorrieri R. |
|
|
|
IEEE Trans. on Software Engineering |
31.01.1998 |
|
СТ |
The Kernel of a Graphic Enviroment for Analyzing Distributed Systems |
1991 |
Degano P., Gorrieri R., Zamboni L., Zanotti. |
|
|
|
Parallel Computing Technologies (Proceedings of the International Conference) |
17.10.1991 |
|
СТ |
Towards Performance Evaluation with General Distributions in Process Algebras |
1998 |
Bravetti M., Bernando M., Gorrieri R. |
|
|
|
Lecture Notes in Computer Science |
11.09.1998 |
