De la composition de systèmes temporisés
La composition des systèmes temporisés est source de nombreux problèmes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systèmes temporisés qui préserve la réactivité temprorelle, à savoir que si le système ne peut réagir, alors le temps peut avancer. Nous effectuo...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1998
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00004871 http://tel.archives-ouvertes.fr/docs/00/04/62/03/PDF/tel-00004871.pdf |