Pages that link to "Item:Q2973251"

The following pages link to A rewriting framework and logic for activities subject to regulations (Q2973251):

Displaying 4 items.

• Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
• On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
• Bounded memory protocols (Q2339157) (← links)
• A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)