Pages that link to "Item:Q2891435"

The following pages link to Ideal Abstractions for Well-Structured Transition Systems (Q2891435):

Displaying 7 items.

• Handling infinitely branching well-structured transition systems (Q1686118) (← links)
• On Hierarchical Communication Topologies in the $$\pi $$ -calculus (Q2802475) (← links)
• Ideal Abstractions for Well-Structured Transition Systems (Q2891435) (← links)
• Complete Abstractions and Subclassical Modal Logics (Q2961561) (← links)
• Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
• (Q5089298) (← links)
• (Q5136306) (← links)