СТ |
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 |