Semantics for structured systems modelling and simulation

SIMUTools 2010 - 3rd International ICST Conference on Simulation Tools and Techniques

Volumn , Issue , 2010, Pages

  Collinson, Matthew ^a   Monahan, Brian ^a   Pym, David ^a,b  

^a HEWLETT PACKARD LABORATORIES   (United Kingdom)

^b UNIVERSITY OF BATH   (United Kingdom)

Author keywords

Logic; Modelling; Process calculus; Semantics; Simulation

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION LANGUAGES; MODELS; SEMANTICS; STOCHASTIC SYSTEMS;

LOGIC; MATHEMATICAL ANALYSIS; MATHEMATICAL FRAMEWORKS; MATHEMATICAL REASONING; MODELLING FRAMEWORK; PROCESS CALCULI; SIMULATION; STOCHASTIC ENVIRONMENT;

MODELING LANGUAGES;

EID: 84922948907     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4108/ICST.SIMUTOOLS2010.8631     Document Type: Conference Paper

References (43)

1. A. Beautement, R. Coles, J. Griffin, C. Ioannidis, B. Monahan, D. Pym, A. Sasse, and M. Wonham. Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. In M. Eric Johnson, editor, Managing Information Risk and the Economics of Security, pages 141-163. Springer, 2008.
2. Y. Beres, J. Griffin, S. Shiu, M. Heitman, D. Markle, and P. Ventura. Analysing the performance of security solutions to reduce vulnerability exposure window. In Proc. 2008 Annual Computer Security Applications Conference, 33-42. IEEE Computer Society, 2008.
3. Y. Beres, D. Pym, and S. Shiu. Decision support for systems security investment. Manuscript, HP Labs, 2009.
4. G. Birtwistle. Demos - discrete event modelling on Simula. Macmillan, 1979.
5. G. Birtwistle and C. Tofts. A denotational semantics for a process-based simulation language. ACM ToMaCS, 8(3):281-305, 1998.
6. M. Collinson, B. Monahan, and D. Pym. Located Demos2k - towards a tool for modelling processes and distributed resources. Technical Report HPL-2008-76, Hewlett-Packard Laboratories, 2008.
7. M. Collinson, B. Monahan, and D. Pym. An update to Located Demos2k. Technical Report HPL-2008-205, Hewlett-Packard Laboratories, 2008.
8. M. Collinson, B. Monahan, and D. Pym. A logical and computational theory of located resource. Journal of Logic and Computation 19(6), 1207-1244, 2009. doi:10.1093/logcom/exp021.
9. M. Collinson, B. Monahan, and D. Pym. A discipline of mathematical systems modelling. To appear: College Publications, London, 2010.
10. M. Collinson and D. Pym. Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science, 19:959-1027, 2009. doi:10.1017/S0960129509990077.
11. M. Collinson and D. Pym. Algebra and logic for access control. Formal Aspects of Computing, 2010. To appear. Erratum also to appear. Preprint (incorporating erratum): http://www.hpl.hp.com/techreports/2008/HPL-2008-75R1.html.
12. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Design. Addison Wesley, 2005.
13. O.-J. Dahl, E. W. Dijkstra, and C. A. R. Hoare. Structured Programming. Academic Press, 1972.
14. Demos2k. http://www.demos2k.org.
15. L. Devroye. Non-Uniform Random Variate Generation. Springer-Verlag, 1986.
16. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In Proc. of the Seventh Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, LNCS 794, 352-368, 1994. Springer-Verlag.
17. Gnosis. http://www.hpl.hp.com/research/systems-security/gnosis.html.
18. M. Hennessy and G. Plotkin. On observing nondeterminism and concurrency. In Proc. 7th ICALP, LNCS 85, 299-309, 1980. Springer-Verlag.
19. J. Hillston. Compositional Markovian modelling using a process algebra. In W Stewart, editor, Proceedings of the Second International Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains. Kluwer Academic Press, 1995.
20. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
21. S. S. Ishtiaq and P. O'Hearn. BI as an assertion language for mutable data structures. In 28th ACM-SIGPLAN Symposium on Principles of Programming Languages, London, pages 14-26. Association for Computing Machinery, 2001.
22. R. Jain. The Art of Computer Systems Performance Analysis. Wiley, 1991.
23. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic Model Checking for Performance and Reliability Analysis. ACM SIGMETRICS Performance Evaluation Review, 36(4):40-45, 2009.
24. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3):267-310, 1983.
25. R. Milner. Communication and Concurrency. Prentice Hall, New York, 1989.
26. R. Milner. Communicating and mobile systems: the p-calculus. Cambridge University Press, 1999.
27. R. Milner. The Space and Motion of Communicating Agents. Cambridge University Press, 2009.
28. Möbius. http://www.mobius.illinois.edu.
29. PW. O'Hearn and D. J. Pym. The logic of bunched implications. Bull. of Symb. Logic, 5(2):215-244, 1999.
30. David Pym and Chris Tofts. A calculus and logic of resources and processes. Formal Aspects of Computing, 18(4):495-517, 2006.
31. Erratum (with Collinson, M.) Formal Aspects of Computing (2007) 19:551-554.
32. David Pym and Chris Tofts. Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. In L. Cardelli, M. Fiore, and G. Winskel, editors, Electronic Notes in Theoretical Computer Science (Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin), volume 107, pages 545-587, 2007.
33. Erratum (with Collinson, M.) Formal Aspects of Computing (2007) 19:551-554.
34. D. J. Pym. The Semantics and Proof Theory of the Logic of Bunched Implications, volume 26 of Applied Logic Series. Kluwer Academic Publishers, 2002. Errata and Remarks maintained at: http://www.cs.bath.ac.uk/~pym/BI-monograph-errata.pdf.
35. D. J. Pym, PW O'Hearn, and H. Yang. Possible worlds and resources: The semantics of BI. Theoretical Computer Science, 315(1):257-305, 2004. Erratum: p. 285, 1.-12: ", for some P', Q = P;P' " should be "P h Q".
36. J. C. Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures. In Proc. LICS'02, pages 55-74. IEEE Computer Society Press, 2002.
37. B. Ross. An Algebraic Semantics of Prolog Control. PhD thesis, University of Edinburgh, 1992.
38. J. J. M. M. Rutten, M. Kwiatkowska, G. Norman, and D. Parker. Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, volume 23 of CRM Monograph Series. American Mathematical Society, 2004.
39. M. P Shanahan. The event calculus explained. In Artificial Intelligence Today, LNAI 1600, 409-430, 1999. Springer-Verlag.
40. Colin Stirling. Modal and Temporal Properties of Processes. Springer Verlag, 2001.
41. C. Tofts. Processes with probability, priority and time. Formal Aspects of Computing, 6(5):536-564, 1994.
42. G. Winskel. The Formal Semantics of Programming Languages: An Introduction. The MIT Press, Cambridge, Mass., and London, England, 1993.
43. M. Yearworth, B. Monahan, and D. Pym. Predictive modelling for security operations economics (extended abstract). In Proc. I3P Workshop on the Economics of Securing the Information Infrastructure, 2006. Proceedings at http://wesii.econinfosec.org/workshop/.