Publication
-
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor In Proceedings
January 1984
-
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