Indefinite waitings in MIRELA systems. In Proceedings 4th International Workshop on Engineering Safety and Security Systems.

;Klaudel, Hanna ;Rataj, Artur
Référence Electronic proceedings in theoretical computer science, 184, page (5-18)
Publication Publié, 2015-06

Article révisé par les pairs

Titre:	Indefinite waitings in MIRELA systems. In Proceedings 4th International Workshop on Engineering Safety and Security Systems.
Auteur:	Arcile, Johan; Didier, Jean-Yves; Devillers, Raymond; Klaudel, Hanna; Rataj, Artur
Informations sur la publication:	Electronic proceedings in theoretical computer science, 184, page (5-18)
Statut de publication:	Publié, 2015-06
Sujet CREF:	Informatique générale
Mots-clés:	mixed reality; timed automata; deadlocks; unbounded waitings; starvation
Langue:	Anglais
Identificateurs:	urn:issn:2075-2180

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.