title = {Clocks in Dataflow languages },
author = {Caspi, Paul},
year = {1992},
journal = {Theoretical Computer Science},
pages = {125--140},
volume = {94},
team = {SYNC},
}
bibtex
@article{Cas92,
title = {Clocks in Dataflow languages },
author = {Caspi, Paul},
year = {1992},
journal = {Theoretical Computer Science},
pages = {125--140},
volume = {94},
team = {SYNC},
}
title = {Clocks in Dataflow languages },
author = {Caspi, Paul},
year = {1992},
journal = {Theoretical Computer Science},
pages = {125--140},
volume = {94},
team = {SYNC},
}
Navigation
Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- Automatisation : y aura-t-il un pilote dans l’avion ?
Séminaires
Nouvelles publications
- Publications
Récentes
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem: S-BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems
- Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux: Online and offline scheduling with cache-related preemption delays
- Stéphane Devismes, David Ilcinkas, Colette Johnen: Silent self-stabilizing scheme for spanning-tree-like constructions
- Alexey Bakhirkin, Thomas Ferrére, Dejan Nickovic, Oded Maler, Eugene Asarin: Online Timed Pattern Matching using Automata
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Gradual stabilization
