Chris Tofts -HPL publications

Here are a list of publicly accessible HPL reports:

• HP Labs : Tech Report: HPL-2001-121: The Performance of Self-Scheduled pipelines
• HP Labs : Tech Report: HPL-2001-263: Operational Semantics of DEMOS
• HP Labs : Tech Report: HPL-2001-274: Compiling Demos 2000 into Petri Nets
• HP Labs : Tech Report: HPL-2001-276: HOLOS - A Simulation
• HP Labs : Tech Report: HPL-2002-16: Fast Graph Generation for synchronous processes
• Tech Report: HPL-2003-181: Efficiently Modelling Resource in a process algebra
• Tech Report: HPL-2003-246: Modelling, myth vs reality, map vs territory
• Tech Report: HPL-2003-247: Business as a Control System
• Tech Report: HPL-2004-49: Self Managed Systems a control theory perspective
• Tech Report: HPL-2004-170R1: A Calculus and Logic of resources and processes 
• Tech Report: HPL-2004-222: Reductionism isn't Functional
• Tech Report: HPL-2004-224: Towards an analytic model of security flaws 
• Tech Report: HPL-2005-11: Death by a thousand SLAs
• Tech Report: HPL-2005-141: DBSy in a Commercial Services Context
• Tech Report: HPL-2006-99: Grand Challenges for Systems
• Tech Report: HPL-2006-100: Engineering the Polymath: Innovation
• Tech Report HPL-2006-121 Exploiting strong attractors to slaughter monsters - taming 10^1500 states and beyond.

Demos papers

• See the DEMOS2K website for many papers
• Operational semantics for DEMOS2K.
• Demos as part of the HOLOS world view
• Compiling DEMOS2K into Petri nets
• The original functional implementation of DEMOS, A Purely Functional Implementation of an Object Orientated Simulation Language with G.  Birtwistle, Proceedings UKSCS Conference 1995, North Berwick, 1995.
• fast implementation paper under construction

Process algebra

Some of these are difficult to obtain so I have mounted the papers here.

• The original WSCCS  journal paper
• How to model time distributions efficiently in WSCCS
• An summary document on how to model in WSCCS
• How to build synchronous process graphs quickly
• Performance models of self-scheduling systems, basically print pipelines
• Efficient representation of resource in WSCCS
• A draft journal version of the TCCS paper (amalgamates Concur 90, ICALP '91 papers) with Faron Moller.
• Paper and presentation, they are very different, for 25 years of process algebra meeting in Bertinoro, 2005.
• A Synchronous Calculus Of Relative Frequency, proceedings of CONCUR’90, Springer-Verlag Lecture Notes in Computer Science 458, pp 467-480
• A Temporal Calculus of Communicating Systems (with F. Moller), proceedings of CONCUR’90, Springer-Verlag Lecture Notes in Computer Science 458, pp 401-415.
• Relating Processes with Respect to Speed (with F. Moller), proceedings of CONCUR’91, Springer-Verlag Lecture Notes in Computer Science 458, pp 424-438.
• Behavioural Abstraction in TCCS (with F. Moller), ICALP’92, pp 559-570.
• An Overview of TCCS (with F.  Moller) EuroMicro 1992.
• Process with Probabilities, Priorities and Time (extended abstract), in Workshop on Performance Enhanced Process Algebra, Research Report, Department of Computer Science, Edinburgh.
• A temporal calculus of communicating systems. (with F.  Moller) In Real-Time Systems: Abstractions, Languages, and Design Methodologies. Krishna M. Kavi (editor), IEEE Computer Society Press, pp242-256, 1992.
• Reasoning about Resource Bounded Computation in a Real Time Process Algebra (with F. Moller), Softsem, 1993.
• The Relationship Between SCAs and SCCS Department of Computer Science Report, University College Swansea, 1993.
• Exactly Solving Finite State Simulation Problems , Dept. of Computer Science Report 93/530/35, University of Calgary.
• Efficiently simulating large scale SCCS systems Proceedings UKSCS Conference 1995, North Berwick, 1995
• State Space Reduction Techniques for Asynchronous Hardware, with G. Birtwistle, and Y. Ying, first Northern Formal Methods Workshop, 1996.
• Compositional Performance Analysis Proceedings third TACAS LNCS 1217, pp290-305, 1997
• Compositional Approach to Evaluating the Performance of Asynchronous Pipelines ACM workshop Timing Analysis of Hardware 1995
• The verfication of a COMA cache coherence protocol with G. Birtwistle and F.Moller, ACM SIGSOFT formal methods in software practice, pp70-81, 1996.
• Some formal musings on the performance of asynchronous hardware, Department Report UMCS-96-2-2, Department of Computer Science, the University, Manchester.
• Performance modelling using probabilistic process algebra, pp223-257, in Engineering theories of software construction, C.A.R. Hoare et al Eds, 2001
• Traffic modelling and probabilistic process abstraction , BCS Computer Journal, 45(1):62-67, 2002

Semantics of simulation

• A Process Semantics for DEMOS (with G.  Birtwistle) Computer Science Research Report, University College Swansea.
• The Operational Semantics of Demos: part 1, (with G.  Birtwistle), Transactions of the Simulation Society 10(4):299-333, 1993
• The Operational Semantics of Demos: part II , (with G.  Birtwistle), Transactions of the Simulation Society, 11(4):303-337, 1993
• Charactersing the Structure of Simulations Using CCS , (with G.  Birtwistle and R. Pooley), Transactions of the Simulation Society, 10(3):205-236, 1993
• The Relationship Between the Operational and Denotational Semantics of Demos, (with G.  Birtwistle) Simulation Practice and Theory, (1),1997.
• Structured Sampling for Simulation with M.J. Hatcher, third UKSCS
• A Denotational Semantics for a Process-Based Simulation Language , (with G.  Birtwistle) ACM Transactions on Modelling and Computer Systems, 8(4), 1998
• Exact, Analytic, and Locally Approximate Solutions to Discrete Event Simulation Problems, Simulation Practice and Theory, 6:721-759, 1998
• Getting Demos Models Right Part I: Practice - Birtwistle, Tofts
• Getting Demos Models Right Part II: ...and theory - Birtwistle, Tofts

Complex Systems

• Describing social insect behaviour using process algebra (pictures lost in electronic time) published in transactions of the simulation society.
• Simple version of consequences of task allocation algorithm Doing the Right Thing: Ants, Bees and Naked Mole Rats, (with N.R.  Franks) Trends in Evolution and Ecology 7: 346-349.
• Evolution of sex determining mechanisms, with M. J. Hatcher
• Consequences of process view for holism, with M. J. Hatcher.
• A control theory perspective of self managed systems, with R. Taylor
• Mutual Exclusion as a Mechanism for Information Exchange within Ant Nests (with M.J. Hatcher, N.R. Franks), Naturwissenschaften 79:32-34.
• The Autosynchronisation of Leptothorax acervorum(Flavius) Described in WSCCS, Computer Science Research Report LFCS-128, University of Edinburgh.
• Task Allocation in Monomorphic Ant Species , Computer Science Research Report LFCS-144, University of Edinburgh.
• The Autosynchronisation of Leptothorax Acevorum(Flavius): Theory, Experiment and Testability (with M.J. Hatcher, N.R. Franks), Journal of Theoretical Biology 157: 71-82.
• Self-Organised Nest Construction in Ants, Sophisticated Building by Blind Building (with N.R. Franks, A. Wilby, B.W. Silverman), Bull. Math. Bio
• Synchronization and Mutual Exclusion within Ant Nests (with M.J. Hatcher, N.R. Franks), proceedings of First European Conference on Social Insects.
• Algorithms for Path Choice in Ants (with T.R.  Stickland and N.R.  Franks) Naturwissenschaften 79:567-572, 1992
• Algorithmns for Task Allocation in Ants: A Study of Temporal Polyethism: Theory, Bulletin of Mathematical Biology, 5:891-918.
• A Food Dependant Path Choice Algorithm (with T.R.  Stickland and N.R.  Franks) Naturwissenschaften, July 1993.
• The Efficiency of Ant Path Finding Algorimths in Proceedings 1st Copenhagen Symposium on Computer Simulation in Biology, Ecology and Medicine, 5pp.
• Algorithms & Collective Decisions in Ants: Information Exchange, Numbers of Individuals & Search Limits (with T.R.  Stickland and N.R.  Franks) poster in European Congress on Artificial Life 1993. 1019-1027.
• Foraging for work: how tasks allocate workers, with N.  Franks, Anim. Behav. 48:470-472, 1994.
• Evolutionary ecology of vertically transmitted parasites: strategies of transovarial transmission of a microsporidian sex ratio distorter in Gammarus duebeni. (with M.J. Hatcher, A. Dunn, R. Terry), Parasitology 111, S91-S109, 1996
• The Effect of Point of Expression on ESS with M.J. Hatcher, Journal of Theoretical Biology, 175:263-266, 1995
• The effect of the embryonic bottleneck on vertical microparasite transmission (with M.J. Hatcher, A. Dunn), first conference, Information Processing in Cells and Tissues (IPCAT’95).
• Studies of division of labour: neither physics nor stamp collecting (with N.R.  Franks, and A.B.  Sendova-Franks), Animal Behaviour, 53:219-224, 1997.
• The effect of the embryonic bottleneck on vertically transmitted parasites, (with Hatcher, M.J., Dunn, A.M),pp 339-351 in: Cuthbertson, R., Holcombe, M. & R. Paton (eds) Computation in Cellular and Molecular Biological Systems. World Scientific: Singapore.
• Population dynamics under parasitic sex ratio distortion, (with M.  Hatcher, D.  Tanneyhill, and A.  Dunn), Theoretical Population Biology 56, 11-28, 1999
• The coexistence of hosts and sex ratio distorters in structured populations., (with Melanie J. Hatcher, Alison M. Dunn), Evolutionary Ecology Research, (2),2000