Pages that link to "Item:Q4812317"
From MaRDI portal
The following pages link to A Logical Viewpoint on Process-algebraic Quotients (Q4812317):
Displaying 4 items.
- A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
- A general approach to comparing infinite-state systems with their finite-state specifications (Q2503044) (← links)
- Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010) (← links)
- (Q4945247) (← links)