Вы здесь

Kok J. N.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ ImpUNITY: UNITY with Procedures and Local Variables 1995 Udink R. T., Kok J. N. Lecture Notes in Computer Science 30.03.2002
СТ Infinite Intersection and Union Types for the Lazy Lambda Calculus 2001 Bonsangue M. M., Kok J. N. Lecture Notes in Computer Science 04.11.2001
СТ Comparing Software Architectures for Coordination Languages 1999 Bonsangue M. M., Kok J. N., Zavattaro G. Lecture Notes in Computer Science 18.05.1999
СТ An Approach to Object-Orientation in Action Systems 1998 Bonsangue M. M., Kok J. N., Sere K. Lecture Notes in Computer Science 25.06.1998
СТ Coordination in the ImpUnity Framework 1996 Goeman H.J. M., Kok J. N., Sere K., Udink R. T. Lecture Notes in Computer Science 24.05.1996
СТ Metric Predicate Transformers: Toward a Notion of Refinement for Concurrency 1995 Bonsangue M. M., Kok J. N., De Vink E. Lecture Notes in Computer Science CONCUR 95: Concurrency Theory 17.10.1995
СТ Metric Semantics for the Input/Output Behaviour of Sequential Programs 1989 Kok J. N. J.W. de Bakker, 25 Jaar Semantiek 04.10.1995
СТ Contrasting Themes in the Semantics of Imperative Concurrency 1982 De Bakker J. W., Kok J. N., Meyer J.-J. Ch., Olderog E. -R., Zucker J. I. 16.05.1995
СТ Non-monotonic Concurrent Constraint Progpamming 1993 de Boer F. S., Kok J. N., Palamidessi C., Rutten J.J.M. M. Logic Programming: Proc./1993 Intern. Symp. 20.09.1994
СТ Isomorphisms between Predicate and State Transformers 1993 Bonsangue M., Kok J. N. Lecture Notes in Computer Science 20.10.1993
СТ Two Fully Abstract Models for UNITY 1993 Udink R. T., Kok J. N. Lecture Notes in Computer Science 19.10.1993
СТ Semantics, Orderings and Recursion in the Weakest Precondition Calculus 1993 Bonsangue M., Kok J. N. Lecture Notes in Computer Science 11.06.1993
СТ On Blocks: locality and asynchronous communication 1993 de Boer F. S., Kok J. N., Palamidessi C., Rutten J.J.M. M. Lecture Notes in Computer Science 11.06.1993
СТ On the Relation Between Unity Properties and Sequences of States 1993 Udink R. T., Kok J. N. Lecture Notes in Computer Science 11.06.1993