### Abstract

Mathematical modelling is one of the fundamental tools of science and engineering. Very often, models are required to be executable, as a simulation, on a computer. In this paper, we present some contributions to the process-theoretic and logical foundations of discrete-event modelling with resources and processes. We present a process calculus with an explicit representation of resources in which processes and resources co-evolve. The calculus is closely connected to a logic that may be used as a specification language for properties of models. The logic is strong enough to allow requirements that a system have certain structure; for example, that it is a parallel composite of subsystems. This work consolidates, extends, and improves upon aspects of the earlier works. An extended example, consisting of a semantics for a simple parallel programming language, indicates a connection with separating logics for concurrency.

Original language | English |
---|---|

Pages (from-to) | 959-1027 |

Number of pages | 69 |

Journal | Mathematical Structures in Computer Science |

Volume | 19 |

Issue number | 5 |

Early online date | 4 Sep 2009 |

DOIs | |

Publication status | Published - Oct 2009 |

## Fingerprint Dive into the research topics of 'Algebra and Logic for Resource-based Systems Modelling'. Together they form a unique fingerprint.

## Cite this

Collinson, M., & Pym, D. (2009). Algebra and Logic for Resource-based Systems Modelling.

*Mathematical Structures in Computer Science*,*19*(5), 959-1027. https://doi.org/10.1017/S0960129509990077