12 citations · 26 across the 13 of their papers we have counts for
5 papers · 1 filter
A Multi-Agent Model for Polarization under Confirmation Bias in Social Networks
Mário S. Alvim, Bernardo Amorim, Sophia Knight +2
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard measure of polarization from economics. Agents evolve by updating their beliefs (opi…
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification
Miguel Romero, Sergio Ramírez, Camilo Rocha +1
This paper addresses the issue of specifying, simulating, and verifying reactive systems in rewriting logic. It presents an executable semantics for probabilistic, timed, and spati…
Partition Refinement for Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino +1
Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, ca…
Proceedings 18th International Workshop on Expressiveness in Concurrency
Bas Luttik, Frank Valencia
This volume contains the proceedings of the 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), which took place on 5th September 2011 in Aachen, as a sate…
Proceedings 17th International Workshop on Expressiveness in Concurrency
Sibylle Fröschle, Frank D. Valencia
This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located wit…