J. Coenen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1995

5 J. Coenen: Hoare's Logic and VDM. Formal Asp. Comput. 7(1): 91-105 (1995)

1993

4 J. Coenen: Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective. Ann. Math. Artif. Intell. 9(1-2): 133-150 (1993)

1992

3 J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51

2 Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100

1990

1 J. Coenen, Jozef Hooman: A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990

	1995
5		J. Coenen: Hoare's Logic and VDM. Formal Asp. Comput. 7(1): 91-105 (1995)
	1993
4		J. Coenen: Top-Down Development of Layered Fault Tolerant Systems and its Problems- a Denotic Perspective. Ann. Math. Artif. Intell. 9(1-2): 133-150 (1993)
	1992
3		J. Coenen, Jozef Hooman: A Compositional Semantics for Fault-Tolerant Real-Time Systems. FTRTFT 1992: 33-51
2		Frank S. de Boer, J. Coenen, Rob Gerth: Exception Handling in Process Algebra. NAPAW 1992: 86-100
	1990
1		J. Coenen, Jozef Hooman: A formal approach to fault-tolerance in distributed real-time systems. ACM SIGOPS European Workshop 1990

Coauthor Index