Вы здесь

Rutten J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Initial Algebra and Final Coalgebra Semantics for Concurrency 1994 Rutten J., Turi D. Lecture Notes in Computer Science 05.08.1994
СТ Semantic models for concurrent logic languages 1991 Boer F., Rutten J., Kok N., Palamidessi C. Theoretical Computer Science 18.09.1991
СТ Semantic Correctness for a Parallel Object-oriented Language 1990 Rutten J. SIAM J. Comput. 08.02.1991