48 citations · 85 across the 8 of their papers we have counts for
9 papers
Language-Integrated Query for Temporal Data (Extended version)
Simon Fowler, Vashti Galpin, James Cheney
Modern applications often manage time-varying data. Despite decades of research on temporal databases, which culminated in the addition of temporal data operations into the SQL:201…
Curating Covid-19 data in Links
Vashti Galpin, James Cheney
Curated scientific databases play an important role in the scientific endeavour and support is needed for the significant effort that goes into their creation and maintenance. This…
Modelling movement for collective adaptive systems with CARMA
Natalia Zoń, Vashti Galpin, Stephen Gilmore
Space and movement through space play an important role in many collective adaptive systems (CAS). CAS consist of multiple components interacting to achieve some goal in a system o…
CARMA: Collective Adaptive Resource-sharing Markovian Agents
Luca Bortolussi, Rocco De Nicola, Vashti Galpin +5
In this paper we present CARMA, a language recently defined to support specification and analysis of collective adaptive systems. CARMA is a stochastic process algebra equipped wit…
Stochastic HYPE: Flow-based modelling of stochastic hybrid systems
Luca Bortolussi, Vashti Galpin, Jane Hillston
Stochastic HYPE is a novel process algebra that models stochastic, instantaneous and continuous behaviour. It develops the flow-based approach of the hybrid process algebra HYPE by…
Hybrid performance modelling of opportunistic networks
Luca Bortolussi, Vashti Galpin, Jane Hillston
We demonstrate the modelling of opportunistic networks using the process algebra stochastic HYPE. Network traffic is modelled as continuous flows, contact between nodes in the netw…