J. Coenen

According to our database, J. Coenen authored at least 6 papers between 1990 and 1995.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1995

Hoare's Logic and VDM.

J. Coenen

Formal Aspects Comput., 1995

1993

Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective.

J. Coenen

Ann. Math. Artif. Intell., 1993

1992

A Note on Compositional Refinement.

Job Zwiers, J. Coenen, Willem P. de Roever

Proceedings of the 5th Refinement Workshop, 1992

Exception Handling in Process Algebra.

Frank S. de Boer, J. Coenen, Rob Gerth

Proceedings of the NAPAW 92, 1992

A Compositional Semantics for Fault-Tolerant Real-Time Systems.

J. Coenen, Jozef Hooman

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

1990

A formal approach to fault-tolerance in distributed real-time systems.

J. Coenen, Jozef Hooman

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990