Logical time control of concurrent DES

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

doi:10.1007/s10626-020-00333-x

Home
Submit
Browse
Search
Documentation

Journal articles

Logical time control of concurrent DES

Jean-Luc Béchennec ^{1, 2} Didier Lime Olivier Roux

1 STR - STR

LS2N - Laboratoire des Sciences du Numérique de Nantes

2 LS2N - Laboratoire des Sciences du Numérique de Nantes

Jean-Luc Béchennec ^{1, 2} AuthorId : 1157381
Author IdHAL : jean-luc-bechennec ORCID : https://orcid.org/0000-0002-3763-8417

Didier Lime AuthorId : 254775
Author IdHAL : didier-lime

Olivier H. Roux AuthorId : 1619092
Author IdHAL : olivier-roux

1 STR - STR (France) StructId : 481380

LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) StructId : 473973
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
  - IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
- UN UFR ST - Université de Nantes - UFR des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) StructId : 97058
  - UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
- ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) StructId : 111023
- CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) StructId : 441569

2 LS2N - Laboratoire des Sciences du Numérique de Nantes (Université de Nantes – faculté des Sciences et Techniques (FST) 2 Chemin de la Houssinière BP 92208, 44322 Nantes Cedex 3 - France) StructId : 473973

IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 - Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES - Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France) StructId : 481355
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France) StructId : 302102
UN UFR ST - Université de Nantes - UFR des Sciences et des Techniques (2, rue de la Houssinière - BP 92208 - 44322 Nantes cedex 3 - France) StructId : 97058
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
ECN - École Centrale de Nantes (1 rue de la Noë - BP 92101 - 44321 Nantes cedex 3 - France) StructId : 111023
CNRS - Centre National de la Recherche Scientifique : UMR6004 (France) StructId : 441569

Document type :

Journal articles

Domain :

Computer Science [cs] / Computer Science and Game Theory [cs.GT]

Computer Science [cs] / Embedded Systems

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03103458
Contributor : Jean-Luc Béchennec Connect in order to contact the contributor
Submitted on : Thursday, November 25, 2021 - 2:05:39 PM
Last modification on : Wednesday, January 19, 2022 - 3:48:24 PM

File

mainJDEDS2020.pdf

Files produced by the author(s)

Identifiers

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

Collections

Citation

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

Export

BibTeX TEI DC DCterms EndNote

Metrics

Les métriques sont temporairement indisponibles

Logical time control of concurrent DES

File

Identifiers

Collections

Citation

Export

Share

Metrics