A Modal Logic for Full LOTOS based on Symbolic Transition Systems

A Model and Analysis of the AKAP Scaffold

A process algebra framework for multi-scale modelling of biological systems

scholarly article by Andrea Degasperi & Muffy Calder published June 2013 in Theoretical Computer Science

A template-based approach for the generation of abstractable and reducible models of featured networks

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols

An Introduction to Pervasive Interface Automata

An automatic abstraction technique for verifying featured, parameterised systems

BigraphER: Rewriting and Analysis Engine for Bigraphs

Bigraphs with sharing

Computational modelling for decision-making: where, why, what, who and how.

scientific article published on 20 June 2018

Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway

scientific article

Do I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?

Feature interaction detection by pairwise analysis of LTL properties—A case study

Feature interaction: a critical review and considered forecast

article

Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis

Formal Methods for Biochemical Signalling Pathways

IN THE REALM OF ORGANIZATION

article

Is my configuration any good: checking usability in an interactive sensor-based activity monitor

Making Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems

Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing

scientific article (publication date: 8 January 2013)

Modular modelling of signalling pathways and their cross-talk

Multi-scale modelling of biological systems in process algebra with multi-way synchronisation

scholarly article published 2011

Preface

Probabilistic Model Checking of DTMC Models of User Activity Patterns

Process Algebra Modelling Styles for Biomolecular Processes

scholarly article by Muffy Calder & Jane Hillston published 2009 in Lecture Notes in Computer Science

Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management

scholarly article by Muffy Calder & Michele Sevegnani published 2012 in Lecture Notes in Computer Science

Process Algebra with Hooks for Models of Pattern Formation

scholarly article by Andrea Degasperi & Muffy Calder published December 2010 in Electronic Notes in Theoretical Computer Science

Real-time verification of wireless home networks using bigraphs with sharing

Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration

Solving divergence in Knuth-Bendix completion by enriching signatures

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA

Spin-to-Grape: A Tool for Analysing Symmetry in Promela Models

Symmetry in temporal logic model checking

The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier

scientific article published on 21 December 2010

Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein

article

Understanding signalling networks as collections of signal transduction pathways

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) Protocol

When kinases meet mathematics: the systems biology of MAPK signalling

scientific article