Pages that link to "Item:Q5898149"
From MaRDI portal
The following pages link to Processes, Terms and Cycles: Steps on the Road to Infinity (Q5898149):
Displayed 7 items.
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Unique solutions of contractions, CCS, and their HOL formalisation (Q2216120) (← links)
- Axiomatizing weak simulation semantics over BCCSP (Q2453533) (← links)
- Axiomatizing Weak Ready Simulation Semantics over BCCSP (Q3105742) (← links)
- (Q3384919) (← links)
- Just testing (Q6091214) (← links)