Centrum Wiskunde & Informatica

Formal justification of a proof system for communication sequential processes Article

Journal of the ACM, 197-216.

K.R. Apt (Krzysztof)

January 1983
Proof rules and transformations dealing with fairness Article

Science of Computer Programming, 65-100.

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

January 1983
Idiosyncratic remarks by a bibliomaniac Article

Acta Applicandae Mathematicae, 1(3), 315-318.

M. Hazewinkel (Michiel)

January 1983
An axiomatization of the intermittent assertion method using temporal logic In Proceedings

K.R. Apt (Krzysztof) and C. Delporte

January 1983
Over wiskunde en informatica : betekenis en toekomst News Broadcast

M. Hazewinkel (Michiel)

January 1983
The temporal logic of programs Article

K.R. Apt (Krzysztof)

January 1983
Symmetric systems with semi-simple structure algebra: the quaternionic case Tech Report

M. Hazewinkel (Michiel), J.H. Lewis and C.F. Martin (Clyde)

January 1983
Lectures on invariants, representations and Lie algebras in system and control theory Tech Report

M. Hazewinkel (Michiel)

January 1983

Previous

Next