Pages that link to "Item:Q5891071"

The following pages link to Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems (Q5891071):

Displaying 2 items.

• Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
• An automata-theoretic approach to the verification of distributed algorithms (Q1706162) (← links)