Pages that link to "Item:Q5431314"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431314):
Displaying 8 items.
- Late and early semantics coincide for testing (Q673146) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- A testing perspective on algebraic, denotational, and operational semantics (Q2296283) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Monadic Sequence Testing and Explicit Test-Refinements (Q2827440) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- (Q4255557) (← links)
- Order algebras: a quantitative model of interaction (Q4577983) (← links)