Safety criteria for Hoorn-Kersenboogerd railway station von Fokkink, Willem J. 1965-

An effective axiomatization for real time ACP von Fokkink, Willem J. 1965-, Klusener, Anton S.

Idempotent most general unifiers for infinite sets von Fokkink, Willem J. 1965-

The tyft/tyxt format reduces to tree rules von Fokkink, Willem J. 1965-

A simple specification language combining processes, time and data von Fokkink, Willem J. 1965-

Real time process algebra with prefixed integration von Fokkink, Willem J. 1965-

Normal forms in real time process algebra von Fokkink, Willem J. 1965-

Distributed algorithms an intuitive approach von Fokkink, Willem J. 1965-

Introduction to process algebra von Fokkink, Willem J. 1965-

An axiomatization for the terminal cycle von Fokkink, Willem J. 1965-

A reference model for teleconferencing systems von Bonini, Cinzia, Fokkink, Willem J. 1965-, Lesch, Arek

Algebra of timed frames von Bergstra, Jan A. 1951-, Fokkink, Willem J. 1965-, Middelburg, Cornelis A.

An effective axiomatization for real time ACP von Fokkink, Willem J. 1965-

A complete equational axiomatisation for prefix iteration von Fokkink, Willem J. 1965-

A complete equational axiomatisation for prefix iteration von Fokkink, Willem J. 1965-

Basic process algebra with iteration completeness of its equational axioms von Fokkink, Willem J. 1965-, Zantema, Hans

The tyft tyxt format reduces to tree rules von Fokkink, Willem J. 1965-

Real time process algebra with prefixed integration von Fokkink, Willem J. 1965-, Klusener, A. S.

Regular processes with relative time and silent steps von Fokkink, Willem J. 1965-

Distributed algorithms an intuitive approach von Fokkink, Willem J. 1965-

Inhaltsverzeichnis