Вы здесь
De Bakker J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Metric Pomset Semantics for a Concurrent Language with Recursion | 1990 | De Bakker J., Warmerdam J. | Lecture Notes in Computer Science | 12.02.1991 | |||
| СТ | CCS for OO and LP | 1991 | De Bakker J., De Vink E. | Lecture Notes in Computer Science | 18.05.1991 | |||
| СТ | Rendez-vous with metric semantics | 1991 | De Bakker J., De Vink E. | Lecture Notes in Computer Science | 13.09.1991 | |||
| СТ | Designing equivalent semantic models for process creation | 1987 | America P., De Bakker J. | 16.05.1995 |