Pages that link to "Item:Q1194327"
From MaRDI portal
The following pages link to Experimenting with process equivalence (Q1194327):
Displaying 7 items.
- When is partial trace equivalence adequate? (Q1333407) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- (Q3681914) (← links)
- Computational and Information Science (Q5491617) (← links)
- Trade-offs in true concurrency: Pomsets and mazurkiewicz traces (Q6116581) (← links)