Pages that link to "Item:Q4279257"
From MaRDI portal
The following pages link to Processes as terms: non-well-founded models for bisimulation (Q4279257):
Displaying 13 items.
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) (Q1318721) (← links)
- Trees and semantics (Q1391740) (← links)
- A fully abstract model for the \(\pi\)-calculus. (Q1400720) (← links)
- Universal coalgebra: A theory of systems (Q1583483) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- Generalizing finiteness conditions of labelled transition systems (Q4632441) (← links)
- Bisimulation as a logical relation (Q5058364) (← links)
- Processes and hyperuniverses (Q5096893) (← links)
- Final semantics for a higher order concurrent language (Q5878904) (← links)
- Three metric domains of processes for bisimulation (Q5890043) (← links)
- Topological models for higher order control flow (Q5890044) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
