Pages that link to "Item:Q2760253"

The following pages link to (Q2760253):

Displaying 7 items.

• Contexts, refinement and determinism (Q541213) (← links)
• Towards the hierarchical verification of reactive systems (Q596025) (← links)
• Revisiting sequential composition in process calculi (Q890611) (← links)
• Partitioned PLTL model-checking for refined transition systems (Q1023285) (← links)
• Relating trace refinement and linearizability (Q1688548) (← links)
• A logic for the stepwise development of reactive systems (Q1786564) (← links)
• Interleaving vs True Concurrency: Some Instructive Security Examples (Q5100754) (← links)