Pages that link to "Item:Q5055959"
From MaRDI portal
The following pages link to Behavioural characterizations of partial order logics (Q5055959):
Displaying 5 items.
- Behavioural logics for configuration structures (Q2123053) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- Building Bridges Between Sets of Partial Orders (Q2799169) (← links)
- On fixpoint logics and equivalences for processes with restricted nondeterminism (Q4612425) (← links)
- (Q5089293) (← links)