Publications related to LOTOS and Process Algebra

1.         M. Sevegnani, M. Calder.
Bigraphs with sharing.
Theoretical Computer Science, vol. 577, pp 43--74, Elsevier, 2015. Online copy

2.         A. Degasperi, M. Calder.
A Process Algebra Framework for Multi-Scale Modelling of Biological Systems.
Theoretical Computer Science, Elsevier, vol. 488, pp. 15--45, 2013.

3.         A. Degasperi, M. Calder.
Multi-Scale Modelling of Biological Systems in Process Algebra with Multi-way Synchronisation.
Proceedings 9th International CMSB 2011 (International Computational Systems Biology), Paris, France. isbn 978-1-4503-0817-5, 2011.

4.         A. Degasperi, M. Calder.
Process Algebra with Hooks for Models of Pattern Formation.
CS2Bio2010, ENTCS 268, pages 31-47, Elsevier, 2010.

5.         M. Calder, J. Hillston.
Process algebra modelling styles for biomolecular processes.
Transactions on Computational Systems Biology XI, LNBI 5750, pp.1-25, Springer, 2009.

6.         M. Calder, S. Gilmore and J. Hillston
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII, vol. 4230, pp. 1-23, Springer, 2006.

7.         M. Calder, S. Gilmore and J. Hillston.
Automatically deriving ODEs from process algebra models of signalling pathways

Proceedings of CMSB 2005 (Computational Methods in Systems Biology),
pp 204-215, 2005.

8.         M. Calder, S. Gilmore and J. Hillston.
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Proceedings of Bio-CONCUR 2004, Electronic Notes in Theoretical Computer Science, 2004.

9.         M. Calder, S. Maharaj, and C. Shankland.
A Modal Logic for Full LOTOS based on Symbolic Transition Systems.
The Computer Journal, Volume 45, No.1, pp. 55--61, 2002.

10.      An Adequate Logic for Full LOTOS.
Proceedings of FME 2001, Lecture Notes in Computer Science. vol. 2021, pp.384-395, 2001.

11.      M. Calder and C. Shankland.
A Symbolic Semantics and Bisimulation for Full LOTOS.
Proceedings of FORTE 2001, 21st International Conference on Formal Techniques for Networked and Distributed Systems, Korea, 2001.

12.      M.Kim, B.Chin, S.Kang and D.Lee (Eds.), pp. 184--200, Kluwer Academic Publishers, 2001.

13.      C. Shankland and M. Thomas.
Symbolic Bisimulations for Full LOTOS.
In Lecture Notes in Computer Science vol. 1349, pp. 479-493, Springer-Verlag, 1997.

14.      C. Kirkwood and M. Thomas.
Experiences with LOTOS: A Report on Two Case Studies.
Proceedings of WIFT '95 159-172, pp. IEEE Computer Society Press, 1995.

15.      M. Thomas and B. Ormsby.
On the Design of Side-Stick Controllers in Fly-By-Wire Aircraft.

ACM Applied Computing Review , Volume 2, Number 1, Spring 1994. 

16.      U. Martin and M. Thomas.
Verification Techniques for LOTOS.
Proceedings of Formal Methods Europe '94, Lecture Notes in Computer Science, Volume 873, Springer Verlag, 1994.

17.      M. Thomas.
The Story of the Therac-25 in LOTOS.
High Integrity Systems Journal, Volume 1, Number 1, Oxford University Press, pp. 3-17, 1994.

18.      M. Thomas.
A Translator Tool for ASN.1 into LOTOS.
Formal Description Techniques V. Elsevier (North Holland) Science Publishers, M. Diaz, R. Groz (eds.), B.V. Amsterdam, 1993, pp. 37-52, 1993.

19.      Verification of LOTOS Specifications, Final Project Report, from SERC/IED Project IEATP/SE/IED4/1/1477. March 1993.
Published as University of Glasgow Department of Computing Science Research Report FM-1993-8.