Centrum Wiskunde & Informatica

CMIFed: A Transportable Hypermedia Authoring System Miscellaneous

L. Hardman (Lynda), G. van Rossum (Guido), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)

January 1994
Action transducers and timed automata Tech Report

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1994
Branching bisimulation as a strong bisimulation Tech Report

A. Bouali and R. de Nicola

January 1994
The Amsterdam Hypermedia Model: Adding Time and Context to the Dexter Model Article

Communications of the ACM, 37(2), 50-62.

L. Hardman (Lynda), D.C.A. Bulterman (Dick) and G. van Rossum (Guido)

January 1994
Idempotent most general unifiers for infinite sets Tech Report

W.J. Fokkink (Wan)

January 1994
GEL, a graph exchange language Tech Report

J.F.T. Kamperman (Jasper)

January 1994
Performance evaluation of parallel and distributed systems : solution methods : proceedings of the third QMIPS [Quantitative Modeling in Parallel Systems] workshop, [Torino, Italy, 25-26.09.1993], part 2 Book

O.J. Boxma (Onno) and G.M. Koole (Ger)

January 1994
Program verification and prolog Tech Report

K.R. Apt (Krzysztof)

January 1994

Previous

Next