Stochastic and Spatial Equivalences for PALOMA
We concentrate our study on a recent process algebra – PALOMA – intended to capture interactions between spatially distributed agents, for example in collective adaptive systems. New agent-based semantic rules for deriving the underlying continuous time Markov chain are given in terms of State to F...
Main Authors: | Paul Piho, Jane Hillston |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2016-07-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1607.02234v1 |
Similar Items
-
Colombia: paloma maquiavélica
by: Ernesto Hernández
Published: (2003-10-01) -
COLOMBIA: PALOMA MAQUIAVÉLICA
by: Ernesto Hernández
Published: (2003-01-01) -
Who is Paloma Carter
by: Aziz, Mariam
Published: (2015) -
A semi-quantitative equivalence for abstracting from fast reactions
by: Vashti Galpin, et al.
Published: (2011-09-01) -
HYPE with stochastic events
by: Luca Bortolussi, et al.
Published: (2011-07-01)