dblp.uni-trier.dewww.uni-trier.de

Joëlle Cohen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
4EEJoëlle Cohen, Anatol Slissenko: Stability of Real-Time Abstract State Machines under Desynchronization. ABZ 2008: 341
2005
3EEAnatol Slissenko, Joëlle Cohen: On Implementations of Instantaneous Actions Real-Time ASM by ASM with Delays. Abstract State Machines 2005: 387-396
2000
2EEJoë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

1Dominique Perrin [1]
2Jean-Eric Pin [1]
3Anatol Slissenko [2] [3] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)