Вы здесь

Davies J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ On the Refinement and Simulation of Data Types and Processes 1900 Bolton Ch., Davies J., Woodcock J. IFM 99 31.01.2001
СТ Using CSP to Verify a Timed Protocol over a Fair Medium 1992 Davies J., Schneider S. Lecture Notes in Computer Science 16.10.1992
СТ Towards a denotational semantics for ET-LOTOS 1995 Bryans J., Davies J., Schneider S. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 14.10.1995
СТ Activity Graphs and Processes 2000 Bolton C., Davies J. Lecture Notes in Computer Science 30.11.2000
СТ Refinement in Object-Z and CSP 2002 Bolton C., Davies J. Lecture Notes in Computer Science 21.06.2002
СТ Using State Diagrams to Desrcribe Concurrent Behaviour 2003 Davies J., Crichton C. Lecture Notes in Computer Science 09.01.2004