Output details
11 - Computer Science and Informatics
University of Leicester
Article title
From Liveness to Promptness
Type
D - Journal article
Title of journal
Formal Methods in System Design
Article number
-
Volume number
34
Issue number
2
First page of article
83
ISSN of journal
0925-9856
Year of publication
2009
Number of additional authors
2
Additional information
<11>Appeared in a special issue of "best papers" from CAV'2007. Our ideas, which show how to use mainstream approaches to handle parametric temporal logic, were later used to consider paramatric temporal logic in the context of games [Zimmermann TCS'2013]. Our work led to follow up on other prompt temporal logic [Di Giampaolo LATA'2010], prompt automata [Almagor et al. ATVA'2010], and semantic differences between branching and linear time [Nain et al. ATVA'2007].
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
8
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
