- On logical and concurrent equivalences J. C. Brad eld and S. B. Froschle
- Verifying Temporal Properties of Processes Julian Bradfield, Colin Stirling
- On independence-friendly xpoint logics J. C. Brad eld
- On independence-friendly fixpoint logics J. C. Bradfield
- A Proof Assistant for Symbolic ModelChecking J. C. Bradfield
- Some remarks on trans nite xpoint alternation J. C. Brad eld
- Simplifying the modal mucalculus alternation hierarchy J. C. Bradfield
- Fixpoints, games and the di erence hierarchy J. C. Brad eld
- On logical and concurrent equivalences J. C. Brad eld and S. B. Froschle
- An effective tableau system for the linear time mucalculus
- Trans nite Extension of the Mu-Calculus Julian Brad eld 1 , Jacques Duparc 2 , Sandra Quickert 1
- J Comput Virol (2010) 6:105114 DOI 10.1007/s11416-009-0137-1
- Parity of Imperfection or Fixing Independence J. C. Brad eld
- Modal Mu-Calculi Julian Bradfield and Colin Stirling
- Stefan Bold, Benedikt Lowe, Thoralf Rasch, Johan van Benthem (eds.)
- Enriching OCL using observational mucalculus # Julian Bradfield, Juliana Kuster Filipe, and Perdita Stevens
- Theoretical Computer Science 96 (1992) 157--174 LOCAL MODEL CHECKING FOR INFINITE STATE SPACES
- The modal mucalculus alternation hierarchy is strict J. C. Bradfield
- Independence: logics and concurrency J. C. Brad eld
- Trans nite Extension of the Mu-Calculus Julian Bradfield
- Fixpoint alternation: arithmetic, transition systems, and the binary tree
- The Complexity of IndependenceFriendly Fixpoint Logic
- The modal mu-calculus alternation hierarchy is strict
- Independence: logics and concurrency J. C. Bradfield
- Verifying Temporal Properties of Systems with Applications to Petri Nets
- SOFSEM '94 --Milovy, The Czech Republic, 27.11.--9.12.1994 Verifying Temporal Properties of Systems
- Fixpoint alternation and the game quanti er J. C. Brad eld
- On the expressivity of the modal mucalculus J. C. Bradfield
- Fixpoint alternation on trees J. C. Brad eld
- OT or not OT is that a question? Julian Bradfield
- Modelling, Formality and the PhoneticsPhonology Interface Julian Bradfield
- Draft { not for distribution The Absurdity of Vastness
- Advances in Petri Nets 1991 (LNCS 524) pp. 29--47 Proving Temporal Properties of Petri Nets
- Modal logics and mu-calculi: an introduction Julian Brad eld and Colin Stirling
- Acquisition and Complexity of Phonemes and Inventories Julian Bradfield
