12 citations · 26 across the 13 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
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…
cs.MA2019★ 2 cited
Semantic Structures for Spatially-Distributed Multi-Agent Systems
Frank Valencia
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. They have been used to reason about beliefs, l…