Checking Secrecy by Means of Partial Order Reduction

2005 ◽  
pp. 171-188 ◽  
Author(s):  
Cas J. F. Cremers ◽  
Sjouke Mauw
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Partial Order Reduction

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory

Partial-Order Reduction for Supervisory Controller Synthesis

2021 ◽  
pp. 1-1
Author(s):  
Bram Vandersanden ◽  
Marc Geilen ◽  
Michel Reniers ◽  
Twan Basten
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Controller Synthesis ◽  
Partial Order Reduction ◽  
Supervisory Controller
Sign in / Sign up

Export Citation Format

Share Document