The power of the future perfect in program logics
Copyright policy )The power of the future perfect in program logics
Cf. the review of the preliminary version [Lect. Notes Comput. Sci. 176, 301-311 (1984; Zbl 0557.68029)].
Specification and verification (program logics, model checking, etc.), Hennessy-Milner logic, transition systems, Theory of operating systems, tense logic, temporal logic, bisimulation, behavioural equivalence, relativised past tense operator, Modal logic (including the logic of norms), infinite computation, Engineering(all), Abstract data types; algebraic specification
Specification and verification (program logics, model checking, etc.), Hennessy-Milner logic, transition systems, Theory of operating systems, tense logic, temporal logic, bisimulation, behavioural equivalence, relativised past tense operator, Modal logic (including the logic of norms), infinite computation, Engineering(all), Abstract data types; algebraic specification
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).38 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 1% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!