Organizing the aggregate: Languages for spatial computing

J Beal, S Dulman, K Usbeck, M Viroli… - Formal and Practical …, 2013 - igi-global.com
As the number of computing devices embedded into engineered systems continues to rise,
there is a widening gap between the needs of the user to control aggregates of devices and …

A higher-order calculus of computational fields

G Audrito, M Viroli, F Damiani, D Pianini… - ACM Transactions on …, 2019 - dl.acm.org
The complexity of large-scale distributed systems, particularly when deployed in physical
space, calls for new mechanisms to address composability and reusability of collective …

Adaptive distributed monitors of spatial properties for cyber–physical systems

G Audrito, R Casadei, F Damiani, V Stolz… - Journal of Systems and …, 2021 - Elsevier
Cyber–physical systems increasingly feature highly-distributed and mobile deployments of
devices spread over large physical environments: in these contexts, it is generally very …

Current trends and future research directions for interactive music

M Toro - arXiv preprint arXiv:1810.04276, 2018 - arxiv.org
In this review, it is explained and compared different software and formalisms used in music
interaction: sequencers, computer-assisted improvisation, meta-instruments, score …

Aggregate processes as distributed adaptive services for the industrial internet of things

L Testa, G Audrito, F Damiani, G Torta - Pervasive and Mobile Computing, 2022 - Elsevier
Abstract The Industrial Internet of Things (IIoT) promises to bring many benefits, including
increased productivity, reduced costs, and increased safety to new generation …

PALOMA: A process algebra for located markovian agents

C Feng, J Hillston - International Conference on Quantitative Evaluation of …, 2014 - Springer
We present a novel stochastic process algebra that allows the expression of models
representing systems comprised of populations of agents distributed over space, where the …

A calculus of computational fields

M Viroli, F Damiani, J Beal - Advances in Service-Oriented and Cloud …, 2013 - Springer
A number of recent works have investigated the notion of “computational fields” as a means
of coordinating systems in distributed, dense and mobile environments such as pervasive …

Spatial P systems

R Barbuti, A Maggiolo-Schettini, P Milazzo, G Pardini… - Natural Computing, 2011 - Springer
We present Spatial P systems, a variant of P systems which embodies the concept of space
and position inside a membrane. Objects in membranes are associated with positions …

Linda in space-time: an adaptive coordination model for mobile ad-hoc environments

M Viroli, D Pianini, J Beal - … 2012, Stockholm, Sweden, June 14-15, 2012 …, 2012 - Springer
We present a vision of distributed system coordination as a set of activities affecting the
space-time fabric of interaction events. In the tuple space setting that we consider …

From P systems to morphogenetic systems: an overview and open problems

P Sosík, J Drastík, V Smolka, M Garzon - Journal of Membrane Computing, 2020 - Springer
Morphogenetic (M) systems are an abstract model of computation inspired by
morphogenetic processes in living cells and organisms. They were created as a …