Joëlle Cohen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

4 Joëlle Cohen, Anatol Slissenko: Stability of Real-Time Abstract State Machines under Desynchronization. ABZ 2008: 341

2005

3 Anatol Slissenko, Joëlle Cohen: On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines 2005: 387-396

2000

2 Joëlle Cohen, Anatol Slissenko: On Verification of Refinements of Timed Distributed Algorithms. Abstract State Machines 2000: 34-49

1993

1 Joëlle Cohen, Dominique Perrin, Jean-Eric Pin: On the Expressive Power of Temporal Logic. J. Comput. Syst. Sci. 46(3): 271-294 (1993)

	2008
4		Joëlle Cohen, Anatol Slissenko: Stability of Real-Time Abstract State Machines under Desynchronization. ABZ 2008: 341
	2005
3		Anatol Slissenko, Joëlle Cohen: On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines 2005: 387-396
	2000
2		Joëlle Cohen, Anatol Slissenko: On Verification of Refinements of Timed Distributed Algorithms. Abstract State Machines 2000: 34-49
	1993
1		Joëlle Cohen, Dominique Perrin, Jean-Eric Pin: On the Expressive Power of Temporal Logic. J. Comput. Syst. Sci. 46(3): 271-294 (1993)

Coauthor Index