Вы здесь

Gorrieri R.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Towards Performance Evaluation with General Distributions in Process Algebras 1998 Bravetti M., Bernando M., Gorrieri R. Lecture Notes in Computer Science 11.09.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
СТ 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
СТ Real-Time System Verification using P/T Nets 1994 Gorrieri R., Siliprandi G. Lecture Notes in Computer Science 21.07.1994
СТ Process Calculi for Coordination: From Linda to JavaSpaces 2000 Busi N., Gorrieri R., Zavattaro G. Lecture Notes in Computer Science 17.06.2000
СТ 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
СТ 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
СТ Performance Preorder and Competitive Equivalence 1997 Corradini F., Gorrieri R., Roccetti M. Acta Informatica 11.12.1997
СТ On Syntactic and Semantic Action Refinement 1994 Goltz U., Gorrieri R., Rensink A. Lecture Notes in Computer Science 05.05.1994
СТ On Relating Some Models for Concurrency 1993 Degano P., Gorrieri R., Vigna S. Lecture Notes in Computer Science 26.05.1993
СТ Distributed Implementation of CCS 1993 Gorrieri R., Montanari U. Lecture Notes in Computer Science 26.06.1993
СТ 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
СТ Automatic Compositional Verification of Some Security Properties 1996 Focardi R., Gorrieri R. Lecture Notes in Computer Science 24.04.1996
СТ An Extended Expansion Theorem 1991 Ferrari G., Gorrieri R., Montanari U. Lecture Notes in Computer Science 18.05.1991
СТ 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
СТ 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 Petri Net Semantics for Pi-calculus 1995 Busi N., Gorrieri R. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995