21 citations · 35 across the 2 of their papers we have counts for
3 papers
cs.LO2019★ 14 cited
Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
Anna Philippou, Kyriaki Psara, Harun Siljak
Petri nets are a formalism for modelling and reasoning about the behaviour of distributed systems. Recently, a reversible approach to Petri nets, Reversing Petri Nets (RPN), has be…
eess.SP2019★ 21 cited
Distributed Antenna Selection for Massive MIMO using Reversing Petri Nets
Harun Siljak, Kyriaki Psara, Anna Philippou
Distributed antenna selection for Distributed Massive MIMO (Multiple Input Multiple Output) communication systems reduces computational complexity compared to centralised approache…
cs.LO2016
Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
Mauricio Toro, Anna Philippou, Sair Arboleda +2
We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an int…