Logical time control of concurrent DES

Jean-Luc Béchennec; Didier Lime; Olivier H. Roux

doi:10.1007/s10626-020-00333-x

Article Dans Une Revue Discrete Event Dynamic Systems Année : 2021

Logical time control of concurrent DES

(1, 2) , ,

1
2

Jean-Luc Béchennec

Fonction : Auteur
PersonId : 17351
IdHAL : jean-luc-bechennec
ORCID : 0000-0002-3763-8417
IdRef : 086974882

STR

Laboratoire des Sciences du Numérique de Nantes

Didier Lime

Fonction : Auteur
PersonId : 17326
IdHAL : didier-lime
ORCID : 0000-0001-8473-9555
IdRef : 08563025X

Olivier H. Roux

Fonction : Auteur
PersonId : 17486
IdHAL : olivier-roux
IdRef : 066922836

Domaines

Informatique et théorie des jeux [cs.GT] Systèmes embarqués Théorie et langage formel [cs.FL]

Fichier principal

mainJDEDS2020.pdf (392.97 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Jean-Luc Béchennec : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03103458

Soumis le : jeudi 25 novembre 2021-14:05:39

Dernière modification le : vendredi 24 mars 2023-14:53:24

Archivage à long terme le : samedi 26 février 2022-20:42:46

Dates et versions

hal-03103458 , version 1 (25-11-2021)

Identifiants

HAL Id : hal-03103458 , version 1
DOI : 10.1007/s10626-020-00333-x

Citer

Jean-Luc Béchennec, Didier Lime, Olivier H. Roux. Logical time control of concurrent DES. Discrete Event Dynamic Systems, 2021, ⟨10.1007/s10626-020-00333-x⟩. ⟨hal-03103458⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES INSTITUT-TELECOM CNRS EC-NANTES UNAM LS2N LS2N-STR NANTES-UNIVERSITE

75 Consultations

33 Téléchargements

Logical time control of concurrent DES

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager