Pages that link to "Item:Q1603814"
From MaRDI portal
The following pages link to CSP, partial automata, and coalgebras. (Q1603814):
Displaying 4 items.
- CSP is a retract of CCS (Q960852) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum (Q2890333) (← links)
- Coalgebraic Automata Theory: Basic Results (Q3623006) (← links)