Concurrent parameterized games

Nathalie Bertrand; Patricia Bouyer; Anirban Majumdar

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Conference papers

Concurrent parameterized games

Nathalie Bertrand ¹ Patricia Bouyer ² Anirban Majumdar ^{2, 1}

1 SUMO - SUpervision of large MOdular and distributed systems

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

2 LSV - Laboratoire Spécification et Vérification [Cachan]

Nathalie Bertrand ¹ AuthorId : 165616
Author

Patricia Bouyer ² AuthorId : 257493
Author IdHAL : patricia-bouyer ORCID : https://orcid.org/0000-0002-2823-0911 arXiv : https://arxiv.org/a/bouyer_p_2

Anirban Majumdar ^{2, 1} AuthorId : 11290697
Author

1 SUMO - SUpervision of large MOdular and distributed systems (Campus de Beaulieu 35042 Rennes cedex - France) StructId : 491208

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 491188
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 490899
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - 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

2 LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France) StructId : 2571

ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France) StructId : 6862
CNRS - Centre National de la Recherche Scientifique : UMR8643 (France) StructId : 441569

Document type :

Conference papers

Domain :

Computer Science [cs]

Complete list of metadata

Cited literature [16 references] Display Hide Download

https://hal.inria.fr/hal-02351236
Contributor : Nathalie Bertrand Connect in order to contact the contributor
Submitted on : Wednesday, November 6, 2019 - 12:31:11 PM
Last modification on : Monday, April 4, 2022 - 9:28:23 AM
Long-term archiving on: : Saturday, February 8, 2020 - 7:11:19 AM

File

fsttcs19.pdf

Files produced by the author(s)

Identifiers

HAL Id : hal-02351236, version 1

Collections

Citation

Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar. Concurrent parameterized games. FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-15. ⟨hal-02351236⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Metrics

Record views

79

Files downloads

Concurrent parameterized games

File

Identifiers

Collections

Citation

Export

Metrics

79

186

Contact Legal Notice Personal Data

Concurrent parameterized games

File

Identifiers

Collections

Citation

Export

Share

Metrics

79

186

Contact Legal Notice Personal Data