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 http://www.sciencedirect.com/science/article/pii/S0304397515001085
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. http://dx.doi.org/10.1016/j.tcs.2013.03.018
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.