CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
Nonexistence of finite-dimensional filters for conditional statistics of the cubic sensor In Proceedings
M. Hazewinkel (Michiel), S.I. Marcus (Steven) and H.J. Sussmann
January 1984
-
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