Вы здесь
Gruska D. P.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Process Algebra for Limited Parallelism | 1996 | Gruska D. P. | Workshop Concurrency, Specification & Programming | 03.12.1999 | |||
СТ | Timed Network Semantics for Communicating Processes | 1994 | Gruska D. P., Maggiolo-Schettini A. | Univ.Warsaw, Humboldt Univ. Berlin | Proceedings of the CS@P 93 Workshop | 09.11.1995 |