Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
Work
Year: 2020
Type: book-chapter
Abstract: We showed in a recent paper that, when verifying a modal $$\mu $$ -calculus formula, the actions of the system under verification can be partitioned into sets of so-called weak and strong actions, de... more
Institutions Centre Inria de l'Université Grenoble Alpes, Centre National de la Recherche Scientifique, Laboratoire d'Informatique de Grenoble, Université Grenoble Alpes, Institut polytechnique de Grenoble +1 more
Cites: 48
Cited by: 13
Related to: 10
FWCI: 6.329
Citation percentile (by year/subfield): 90.29
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $5,392