Models and axioms for a fragment of real time process algebra

Abstract

After I finished my undergraduate studies in Computer Science at the University of Amsterdam (supervised by Jan Bergstra), I moved to Jos Baeten's process algebra group at the CWI in Amsterdam.At the time of this move, Jan and Jos had just completed their initial paper on real time process algebra.Soon I was woricing on the problem of a complete axiomatization of a subset of their calculus.Initially I had little knowledge of logic and process algebra, hence I had only a rather vague intuition about how to solve the problems, and I had no idea how one could work for several years on this topic.During the first year Jos guided me with patience about doing research on a mathematica!subject.He has forced me to he precise and clear, without tempering my enthusiasm.