Вы здесь

Corradini F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Distribution and Locality of Concurrent Systems 1994 Corradini F., De Nicola R. Lecture Notes in Computer Science 09.08.1994
СТ 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
СТ 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
СТ 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
СТ 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
СТ Closed Interval Process Algebra versus Interval Process Algebra 2001 Corradini F., Pistore M. Acta Informatica 18.05.2001
СТ Comparing the Worst-Case Efficiency of Asynchronous Systems with PAFAS 2002 Corradini F., Vogler W., Jenner L. Acta Informatica 23.01.2003
СТ 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