Вы здесь
Murawski A. S.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Syntactic Control of Concurrency | 2004 | Ghica D. R., Murawski A. S., Ong C.-H. L. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 28.10.2004 | ||
| СТ | Applying Game Semantics to Compositional Software Modeling and Verification | 2004 | Abramsky S., Ghica D. R., Murawski A. S., Ong C.-H. L. | Lecture Notes in Computer Science | 15.05.2004 |