Modal and Temporal Properties of Processes
- C. Stirling
- PsychologyTexts in Computer Science
- 6 July 2001
This book introduces concurrent processes as terms of an algebraic language comprising a few basic operators, whose behaviours are described using transitions, and describes how families of such transitions can be arranged as labeled graphs determined by transition rules.
Modal and temporal logics
- C. Stirling
- PhilosophyLogic in Computer Science
- 18 March 1993
♦ Büchi automata represent an operational approach to describing temporal requirements for reactive systems ♦ Usage of logics for the descriptive specification of temporal requirements 8 example –…
Modal and Temporal Logics for Processes
- C. Stirling
- PhilosophyBanff Higher Order Workshop
- 1 April 1996
First it is shown that property checking can be understood in terms of game playing, and then sound and complete tableau proof systems for proving temporal properties of processes are presented.
The Power of the Future Perfect in Program Logics
- M. Hennessy, C. Stirling
- PhilosophyInformation and Control
- 3 September 1984
Bisimulation Equivalence is Decidable for All Context-Free Processes
- Søren Christensen, Hans Hüttel, C. Stirling
- Computer ScienceInformation and Computation
- 24 August 1992
It is shown that bisimulation equivalence is decidable for BPA and this result would be a proper extension of Milner's axiom system for regular processes for normed BPA processes.
Local Model Checking in the Modal mu-Calculus
- C. Stirling, D. Walker
- Mathematics, Computer ScienceTheoretical Computer Science
- 1 November 1991
Decidability of DPDA equivalence
- C. Stirling
- Computer ScienceTheoretical Computer Science
- 28 March 2001
An Introduction to Modal and Temporal Logics for CCS
- C. Stirling
- PhilosophyConcurrency: Theory, Language, And Architecture
- 1 April 1991
Modal mu-calculi
- Julian Bradfield, C. Stirling
- PhilosophyHandbook of Modal Logic
- 2007
In this chapter, least and greatest solutions to recursive modal equations were represented using the fixed point quantifiers μZ and υZ and the connectives to modal logic are added, thereby providing a very rich temporal logic.
A Framework for Intuitionistic Modal Logics
- G. Plotkin, C. Stirling
- PhilosophyTheoretical Aspects of Rationality and Knowledge
- 1 June 1988
...
...