Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Shankland, Carron - Department of Computing Science and Mathematics, University of Stirling
A case study in abstraction using ELOTOS and the FireWire
The Tree Identify Protocol of IEEE 1394 Carron Shankland
Combating Infinite State using Ergo P. Robinson 1 and C. Shankland 2
Formal Aspects of Computing (1998) 3: 1--000 fl 1998 BCS
Using Rewriting Logic to implement [Extended Abstract]
Expressing Iterative Properties Logically in a Symbolic Setting
Under consideration for publication in Formal Aspects of Computing But What If I Don't Want To Wait
Reasoning about the ERK signal transduction pathway using BioSigNetRR
Some Experiments using Term Rewriting Techniques for Concurrency
Under consideration for publication in Formal Aspects of Computing IEEE 1394 Tree Identify Protocol
Verification of LOTOS Specifications using Term Rewriting Techniques
Automating (Specification j Implementation) using Equational Reasoning and LOTOS
A Case Study for the ERIL Project Carron Kirkwood \Lambda
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models
IMPLEMENTING A MODAL LOGIC OVER DATA AND PROCESSES USING XTL
Experiences with Specification and Verification in LOTOS: A Report on Two Case Studies
An Experiment using Term Rewriting Techniques for Concurrency
A Symbolic Semantics and Bisimulation for Full LOTOS Muffy Calder
Some Experiments using term rewriting techniques for concurrency
Implementing the modal logic FULL [Extended Abstract]
Time, ELOTOS, and the FireWire Carron Shankland 1 and Alberto Verdejo 2
Specifying properties of Basic LOTOS processes using temporal logic
A Survey of Formal Methods Applied to Leader Election in IEEE 1394
Using ELOTOS to Pick a Leader Carron Shankland \Lambda
Symbolic Bisimulation for Full LOTOS Carron Shankland 1? and Muffy Thomas 2 and Ed Brinksma 3
Improved Continuous Approximation of PEPA Models through Epidemiological
Department of Computing Science and Mathematics University of Stirling
Verification of LOTOS Specifications using Term Rewriting Techniques
Multi-scale modelling of Biological Systems Draft Programme (updated 28th June 2010)
Towards a Symbolic Modal Logic for LOTOS Carron Kirkwood \Lambda
But what if I don't want to wait forever? [Extended Abstract]