The following pages link to Anna Philippou (Q764282):
Displaying 23 items.
- PADS: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling (Q764283) (← links)
- A network game with attackers and a defender (Q930603) (← links)
- Hiding resources that can fail: An axiomatic perspective (Q1607106) (← links)
- Reversible computation in Petri nets (Q1796369) (← links)
- Encoding reversing Petri nets in answer set programming (Q2039911) (← links)
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- Resources in process algebra (Q2373652) (← links)
- The price of defense (Q2663706) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Type Checking Privacy Policies in the π-calculus (Q2827457) (← links)
- Synchronous Parallel Composition in a Process Calculus for Ecological Models (Q2938179) (← links)
- A Process Algebraic Framework for Modeling Resource Demand and Supply (Q3588093) (← links)
- (Q4417942) (← links)
- (Q4536612) (← links)
- (Q4600769) (← links)
- Simulation and Verification in a Process Calculus for Spatially-Explicit Ecological Models (Q4621170) (← links)
- (Q5013824) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- A Family of Resource-Bound Real-Time Process Algebras (Q5262969) (← links)
- The Price of Defense (Q5756681) (← links)
- Algorithms and Computation (Q5897862) (← links)
- Selfish routing in the presence of network uncertainty (Q6483527) (← links)
