J. Coenen

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

J. Coenen
Hoare's Logic and VDM. Formal Aspects Comput. 7 (1) (1995)
J. Coenen
Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective. Ann. Math. Artif. Intell. 9 (1-2) (1993)
Job Zwiers, J. Coenen, Willem P. de Roever
A Note on Compositional Refinement. Refine (1992)
J. Coenen, Jozef Hooman
A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT (1992)
Frank S. de Boer, J. Coenen, Rob Gerth
Exception Handling in Process Algebra. NAPAW (1992)
J. Coenen, Jozef Hooman
A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop (1990)