Modal and Temporal Logics for Processes (1996)

by Colin Stirling
Citations:71 - 2 self

Active Bibliography

8 Model Checking and Other Games – Colin Stirling - 1996
17 Bisimulation, Modal Logic and Model Checking Games – Colin Stirling - 1999
45 Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes – Hans Hüttel, Colin Stirling - 1991
8 Decidability Issues for Infinite-State Processes - a Survey – Søren Christensen, Datalogisk Afdeling, Ny Munkegade, Hans Hüttel, Afdeling For, Matematik Og Datalogi, Aalborg Universitetscenter - 1996
9 Some of My Favourite Results in Classic Process Algebra – Luca Aceto - 2003
78 Model Checking for Context-Free Processes – Olaf Burkart, Bernhard Steffen - 1992
JAMES WHEELIS RIELY: Applications of Abstraction for Concurrent Programs – James Wheelis Riely - 1999
249 Branching Time and Abstraction in Bisimulation Semantics – Rob J. Van Glabbeek, W. Peter Weijland - 1996
102 The concurrency workbench: A semantics based tool for the verification of concurrent systems – Rance Cleaveland, Joachim Parrow, Bernhard Steffen - 1991
30 Modal mu-calculi – Julian Bradfield, Colin Stirling - 2007
129 Reasoning about The Past with Two-Way Automata – Moshe Y. Vardi - 1998
20 Ready Simulation, Bisimulation, and the Semantics of CCS-Like Languages – Bard Bloom - 1993
Context-free Process Algebras Extended with Deadlocks – Jirí Srba, Jir Srba
5 Comparing Expressibility of Normed BPA and Normed BPP Processes – Ivana Cerna, Mojmir Kretinsky, Fi Mu, Ivana Černá, Ivana Černá, Mojmír Křetínský, Antonin Kucera, Antonín Kučera - 1996
20 Constrained Properties, Semilinear Systems, and Petri Nets – Ahmed Bouajjani , Peter Habermehl - 1996
35 The Integration Project for the JACK Environement – Amar Bouali, Stefania Gnesi, Salvatore Larosa - 1994
A Polyadic Modal µ-Calculus – Henrik Reif Andersen - 1994
4 Models of nondeterministic regular expressions – Flavio Corradini, Rocco De Nicola, Anna Labella - 1999
9 A Formalization of the Process Algebra CCS in Higher Order Logic – Monica Nesi - 1992