UNIVERSITY of GLASGOW

Computing at Glasgow University
 

DCS Technical Reports for 'Prof Muffy Calder' ordered by Year. (14)

2010 2006 2004 2003 2002 2001 2000 1999 1997

2010

Bigraphs with sharing
Calder,M. Sevegnani,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

Stochastic Process Algebra with Hooks for Models of Pattern Formation
Degasperi,A. Calder,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

A SAT based algorithm for the matching problem in bigraphs with sharing
Sevegnani,M. Unsworth,C. Calder,M. DCS Technical Report Series Dept of Computing Science, University of Glasgow [More Details].

2006

Verifying parameterised networks by abstraction and induction: experience from the IEEE 1394 protocol
Miller,A. Calder,M. DCS Technical Report Series pp 39 Dept of Computing Science, University of Glasgow [More Details].

2004

Modelling the Influence of RKIP on the ERK Signalling Pathway using the Stochastic Process Algebra PEPA
Calder,M. Gilmore,S. Hillston,J. DCS Tech Report [More Details].

2003

Two approaches to verifying the Tree identify phase of the IEEE 1394 (FireWire) protocol for any size of network
Miller,A. Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2002

Feature Validation for any Number of Processes
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Feature Interaction Detection by Pairwise Analysis of LTL Properties
Calder,M. Miller,A. DCS Tech Report [More Details].

2001

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Using the Model Checker SPIN to Detect Feature Interactions in Telecommunications Services
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

2000

A Symbolic Semantics and Bisimulation for Full LOTOS
Calder,M. Shankland,C. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

Model Checking Networks of Telecommunications Services using SPIN
Calder,M. Miller,A. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

1999

Modelling a Telephone Switching System for Verification
Reiff,S.
Calder,M. DCS Tech Report Dept of Computing Science, University of Glasgow [More Details].

1997

Accident Analysis and Action Logic
Burns,C.
Johnson,C.W. Thomas,M. DCS Tech Report pp 33-39 [More Details].