Pages that link to "Item:Q472794"

The following pages link to Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794):

Displaying 6 items.

• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems (Q916414) (← links)
• Realizability of concurrent recursive programs (Q1620953) (← links)
• Reachability of scope-bounded multistack pushdown systems (Q2216111) (← links)
• The complexity of model checking multi-stack systems (Q2398213) (← links)
• (Q3972532) (← links)
• (Q5151002) (← links)