Modal and Temporal Logics for Processes (1996)

by Colin Stirling
Citations:71 - 2 self

Documents Related by Co-Citation

3219 Communication and Concurrency – R Milner - 1990
103 Local model checking in the modal mu-calculus – C Stirling, D Walker - 1991
72 An automata theoretic decision procedure for the propositional modal mu–calculus – Robert S Streett, E Allen Emerson - 1989
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
39 Automated Temporal Reasoning about Reactive Systems – E. Allen Emerson - 1996
64 On model-checking for fragments of -calculus – E Emerson, C Jutla, A Sistla - 1993
260 Results on the propositional -calculus – D Kozen - 1983
10 Pure Type Systems in Rewriting Logic – Mark-Oliver Stehr, José Meseguer - 1999
147 Rewriting Logic as a Logical and Semantic Framework – Narciso Martí-Oliet, José Meseguer - 1993
28 Characteristic formulae for processes with divergence. Information and Computation 110:149–163 – B Steffen, A Ingólfsdóttir - 1994
495 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
6 Executing and Verifying CCS in Maude – Alberto Verdejo, Narciso Marti-Oliet - 2002
36 Tile Logic for Synchronized Rewriting of Concurrent Systems – Roberto Bruni, Prof Ugo Montanari - 1999
51 The Complexity of Existential Quantification in Concept Languages – Francesco M. Donini, Bernhard Hollunder, Maurizio Lenzerini, Alberto Marchetti Spaccamela, Daniele Nardi, Werner Nutt - 1992
24 A uniform framework for concept definitions in description logics – G. De Giacomo, M. Lenzerini - 1997
491 Querying Semi-Structured Data – Serge Abiteboul - 1997
225 From Structured Documents to Novel Query Facilities – Christophides Abiteboul, V. Christophides, S. Abiteboul, S. Cluet, M. Scholl - 1994
1526 V.: Foundations of Databases – S Abiteboul, R Hull, Vianu - 1995