48 citations · 85 across the 8 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2022★ 1 cited
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…
cs.PL2015★ 48 cited
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…