- An Adequate Logic for Full LOTOS Mu y Calder1, Savi Maharaj2, and Carron Shankland2
- CS2Bio 2010 Relating PDEs in Cylindrical Coordinates and
- Electronic Proceedings in Theoretical Computer Science 118, 2011, pp. 0115.
- Process algebra modelling styles for biomolecular processes
- Analysis of Signalling Pathways Using Continuous Time Markov Chains
- What do scaffold proteins really do? Muffy Calder
- Analysis of signalling pathways using the PRISM model checker
- Feature Interaction: A Critical Review and Considered Forecast
- October 30, 1997 1 Organisation, Information and Computation
- INDUCTIVE INFERENCE FOR SOLVING DIVERGENCE IN KNUTH-BENDIX COMPLETION
- A Proof of Incorrectness using the LP Theorem The Editing Problem in the Therac25
- ON THE DESIGN OF SIDESTICK CONTROLLERS IN FLYBYWIRE Muffy Thomas and Bowen Ormsby \Lambda
- Automatic verification of any number of concurrent, communicating processes Muffy Calder and Alice Miller
- A generic approach for the automatic verification of featured, parameterised
- A Symbolic Semantics and Bisimulation for Full Mu y Calder
- Computational Modelling of the Receptor Tyrosine Kinase Activated MAPK Pathway Authors Names
- Understanding Signalling Networks as Collections of Signal Transduction Pathways
- Automatically deriving ODEs from process algebra models of signalling pathways
- An automatic abstraction technique for verifying featured, parameterised systems
- Five ways to use induction and symmetry in the veri cation of networks of processes by
- An Adequate Logic for Full LOTOS Muffy Calder 1 , Savi Maharaj 2 , and Carron Shankland 2
- Stronger Computational Modelling of Signalling Pathways Using Both Continuous and
- Formal methods and their role in developing safe Muffy Thomas
- The Story of the Therac25 in LOTOS Muffy Thomas
- Verifying parameterised, featured networks by abstraction
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems
- Verification Techniques for LOTOS U. Martin, University of St. Andrews, Scotland, U.K.
- Optimising Communication Structure for Model Peter Sa rey 1 and Mu y Calder 2
- Analysing a Basic Call Protocol using PROMELA/XSPIN
- (a) acyclic configuration (b) cyclic configuration State-space
- Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications
- Modelling and Analysing User Views of Telecommunications Services
- A Modal Logic for Full LOTOS based on Symbolic Transition Systems
- ON THE DESIGN OF SIDESTICK CONTROLLERS IN FLYBYWIRE Muffy Thomas and Bowen Ormsby \Lambda
- An application of abstraction and induction techniques to degenerating systems of processes
- Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA
- Formal Methods for Biochemical Signalling Muffy Calder1
- CS2Bio 2010 Process Algebra with Hooks for Models of
- What Use are Formal Design and Analysis Methods to Telecommunications Services?
- Theory and Practice of Enhancing a Legacy Software System
- CS2Bio 2010 A Model and Analysis of the AKAP Scaffold
- BioCONCUR 2004 Preliminary Version Modelling the influence of RKIP on the ERK
- Feature Interaction Detection by Pairwise Analysis of LTL Properties -a case study
- An Introduction to Pervasive Interface Automata
- A SYMBOLIC SEMANTICS AND BISIMULATION FOR FULL LOTOS
- Modelling Legacy Telecommunications Switching Systems for Interaction Analysis
- AVoCS 2004 Preliminary Version Finding symmetry in models of concurrent
- Using SPIN for Feature Interaction Analysis { a M. Calder and A. Miller
- When kinases meet mathematics: the systems biology of MAPK signalling Walter Kolch1,2
- Detecting Feature Interactions: how many components do we need?
- Symbolic Bisimulation for Full LOTOS Carron Shankland1? and Mu y Thomas2
- Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process
- Electronic Communications of the EASST Volume 22 (2009)
- Experiences with Specification and Verification in LOTOS: A Report on Two Case Studies
- This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the
- Multi-Scale Modelling of Biological Systems in Process Algebra with Multi-Way Synchronisation
- From species to pathway and tissue as process [Extended Abstract]
- A SYMBOLIC SEMANTICS AND BISIMULATION FOR FULL LOTOS
- Symbolic Bisimulation for Full LOTOS Carron Shankland 1? and Muffy Thomas 2
