5 found
Order:
Disambiguations
John McCabe-Dansted [3]John C. McCabe-Dansted [2]
  1.  21
    Indiscrete Models: Model Building and Model Checking over Linear Time.Tim French, John McCabe-Dansted & Mark Reynolds - 2013 - In Kamal Lodaya (ed.), Logic and its Applications. Springer. pp. 50--68.
  2.  11
    Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 217-238.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  7
    Synthesis for Temporal Logic over the Reals.Tim French, John McCabe-Dansted & Mark Reynolds - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 217-238.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  22
    Expressiveness and succinctness of a logic of robustness.John C. McCabe-Dansted, Tim French, Sophie Pinchinat & Mark Reynolds - 2015 - Journal of Applied Non-Classical Logics 25 (3):193-228.
    This paper compares the recently proposed Robust Full Computational Tree Logic to model robustness in concurrent systems with other computational tree logic -based logics. RoCTL* extends CTL* with the addition of the operators Obligatory and Robustly, which quantify over failure-free paths and paths with one more failure respectively. This paper focuses on examining the succinctness and expressiveness of RoCTL* by presenting translations to and from RoCTL*. The core result of this paper is to show that RoCTL* is expressively equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  15
    Rewrite rules for CTL.John C. McCabe-Dansted & Mark Reynolds - 2017 - Journal of Applied Logic 21:24-56.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark