| 1996 |
|---|
| 11 | | Jacob Brunekreef,
Joost-Pieter Katoen,
Ron Koymans,
Sjouke Mauw:
Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks.
Distributed Computing 9(4): 157-171 (1996) |
| 1992 |
|---|
| 10 | | Ron Koymans:
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Springer 1992 |
| 1991 |
|---|
| 9 | | Ron Koymans:
(Real) Time: A Philosophical Perspective.
REX Workshop 1991: 353-370 |
| 1990 |
|---|
| 8 | | Ron Koymans:
Specifying Real-Time Properties with Metric Temporal Logic.
Real-Time Systems 2(4): 255-299 (1990) |
| 1988 |
|---|
| 7 | | Ron Koymans,
Ruurd Kuiper,
Erik Zijstra:
Paradigms for Real-time Systems.
FTRTFT 1988: 159-174 |
| 6 | | Ron Koymans,
R. K. Shyamasundar,
Willem P. de Roever,
Rob Gerth,
S. Arun-Kumar:
Compositional Semantics for Real-Time Distributed Computing
Inf. Comput. 79(3): 210-256 (1988) |
| 1987 |
|---|
| 5 | | Ron Koymans:
Specifying Message Passing Systems Requires Extending Temporal Logic.
PODC 1987: 191-204 |
| 4 | | Ron Koymans:
Specifying Message Passing Systems Requires Extending Temporal Logic.
Temporal Logic in Specification 1987: 213-223 |
| 1985 |
|---|
| 3 | | Ron Koymans,
R. K. Shyamasundar,
Willem P. de Roever,
Rob Gerth,
S. Arun-Kumar:
Compositional Semantics for Real-time Distributed Computing.
Logic of Programs 1985: 167-189 |
| 1983 |
|---|
| 2 | | Ron Koymans,
Jan Vytopil,
Willem P. de Roever:
Real-Time Programming and Asynchronous Message Passing.
PODC 1983: 187-197 |
| 1 | | Ron Koymans,
Willem P. de Roever:
Examples of a Real-Time Temporal Logic Specification.
The Analysis of Concurrent Systems 1983: 231-251 |
