Вы здесь
Riely J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | A Calculus of Untyped Aspect-Oriented Programs | 2003 | Jagadeesan R., Jeferey A., Riely J. | Lecture Notes in Computer Science | 23.09.2003 | |||
СТ | A Typed Language for Distributed Mobile Processes | 1998 | Riely J., Hennessy M. | Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages | 14.05.1998 | |||
СТ | Testing-Based Abstractions for Value-Passing Systems | 1994 | Cleaveland R., Riely J. | Lecture Notes in Computer Science | 26.08.1994 |