Pages that link to "Item:Q1080653"

The following pages link to A logic for the specification and proof of regular controllable processes of CCS (Q1080653):

Displayed 2 items.

• Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) ‎ (← links)
• Domain theory in logical form (Q1174593) ‎ (← links)