 |
Conference papers
Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus
Catalin Dima
1
Bastien Maubert
2
Sophie Pinchinat
3
3
LogicA - Logic and Applications
ENS Cachan - École normale supérieure - Cachan, UR1 - Université de Rennes 1, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Catalin Dima 1
Mail :
Author IdHAL : catalin-dima arXiv : https://arxiv.org/a/catalin dima
Bastien Maubert 2 Site :
Author Employer institution : "Federico II" University of Naples Medical School
Sophie Pinchinat 3
Mail :
Author IdHAL : sophie-pinchinat
1
LACL - Laboratoire d'Algorithmique Complexité et Logique (Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
- CNRS - Centre National de la Recherche Scientifique : FRE2673 (France)
2
University of Naples Federico II (Italy)
3
LogicA - Logic and Applications (Campus de Beaulieu
35042 Rennes cedex - France)
- ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
Abstract : no abstract
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01699931
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:16 PM
Last modification on : Friday, March 6, 2020 - 4:36:02 PM
Contributor : Catalin Dima <>
Submitted on : Friday, February 2, 2018 - 10:51:16 PM
Last modification on : Friday, March 6, 2020 - 4:36:02 PM
Links full text
Identifiers
- HAL Id : hal-01699931, version 1
- DOI : 10.1007/978-3-662-48057-1_14
Collections
CNRS | ENS-CACHAN | UPEC-UPEM | UNIV-RENNES1 | LACL | INRIA | IRISA | UNIV-PARIS-SACLAY | UR1-UFR-ISTIC | UNIV-RENNES | IRISA-D4 | UPEC | INSTITUT-TELECOM
Citation
Catalin Dima, Bastien Maubert, Sophie Pinchinat. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, 2015, Unknown, Unknown Region. pp.179--191, ⟨10.1007/978-3-662-48057-1_14⟩. ⟨hal-01699931⟩
Metrics
Record views
