Pages that link to "Item:Q3569046"

The following pages link to A ν-calculus with local views for systems of sequential agents (Q3569046):

Displaying 7 items.

• Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)
• LTL is expressively complete for Mazurkiewicz traces (Q1608324) (← links)
• Local temporal logic is expressively complete for cograph dependence alphabets (Q1763374) (← links)
• On hierarchically developing reactive systems (Q1959436) (← links)
• From local to global temporal logics over Mazurkiewicz traces. (Q2490814) (← links)
• An expressively complete linear time temporal logic for Mazurkiewicz traces (Q2506491) (← links)
• A tableau proof system for a mazurkiewicz trace logic with fixpoints (Q4610334) (← links)