Вы здесь

Gilmore S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ PEPA Nets: A Structured Performance Modeling Formalism 2002 Gilmore S., Hillston J., Ribaudo M. Lecture Notes in Computer Science 29.05.2002
СТ Exploiting Modal Logic to Express Performance Measures 2000 Clark G., Gilmore S., Hillston J., Ribaudo M. Lecture Notes in Computer Science 18.04.2000
П Programming in Standard ML 97: A Tutorial Introduction 1997 Gilmore S. Laboratory for Foundations of Computer Science 20.08.1999
СТ Specifying Performance Measures for PEPA 1999 Clark G., Gilmore S., Hillston J. Lecture Notes in Computer Science 18.06.1999
СТ The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modeling 1994 Gilmore S., Hillston J. Lecture Notes in Computer Science 07.07.1994