Вы здесь
Van Glabbeek R.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| П | Combining Compositionality and Concurrency | 1988 | Olderog E. -R., Goltz U., Van Glabbeek R. | GMD | 07.07.1998 | |||
| П | Reactive, Generative, and Stratified Models of Probabilistic Processes | 1990 | Van Glabbeek R., Smolka S. A., Steffen B., Tofts C. | CWI | 07.06.1995 | |||
| СТ | Refinement of actions and equivalence notions for cjncurrent systems | 2001 | Van Glabbeek R., Goltz U. | Acta Informatica | 07.03.2001 |