Modal and Temporal Properties of Processes

By Colin Stirling. Texts in Computer Science, 2001

303 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Computer Networks and Communications

View Paper: https://www.semanticscholar.org/paper/30bd6eb571d5daa0547094591add6de541c31091

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Joost-Pieter Katoen
2. Marco Montali
3. Giuseppe De Giacomo
4. Diego Calvanese
5. Paolo Felli
6. Riccardo De Masellis
7. Babak Bagheri Hariri
8. Michael F. Worboys

In Computer Networks and Communications

1. Diego Calvanese
2. Giuseppe De Giacomo
3. Marco Montali
4. Paolo Felli
5. Riccardo De Masellis
6. Babak Bagheri Hariri
7. Joost-Pieter Katoen
8. Michael F. Worboys

Citations in the corpus

• Event‐oriented approaches to geographic phenomena (2005, background): “Later work on the algebraic approach has been presented by Milner (1980), Hoare (1985), and Hennessy (1988), and Stirling (2001).”
• Principles of model checking (2008, background): “,[245, 138, 173, 283, 158, 284, 92, 219, 379, 365], where several other aspects of LTL and related logics, such as deductive proof systems, alternative model-checking algorithms, or more details about the expressiveness, are treated.”
• Description Logic Knowledge and Action Bases (2014, methodology): “Technically, µ -calculus separates local properties, asserted on the current state or on states that are immediate successors of the current one, from properties talking about states that are arbitrarily far away from the current one (Stirling, 2001).”