Publication
-
Notes on (the philosophy of ) linearization Tech Report
January 1984 -
Symmetry in physics and systems theory, an introduction to past, present and future possibilities In Proceedings
January 1984 -
Vezelbundels en natuurkunde Article
Nederlands Tijdschrift voor Natuurkunde, 50B(10), 81-84.January 1984 -
Quantum mechanical system symmetry In Proceedings
January 1984 -
Ten years of Hoare s logic, a survey, part II: n ondeterminism Article
Theoretical Computer Science, 83-109.January 1984 -
Modeling the distributed termination convention of CSP Article
ACM Transactions on Programming Languages and Systems, 370-379.January 1984 -
Fair termination revisited - with delay Article
Theoretical Computer Science, 65-84.January 1984 -
January 1984