Pages that link to "Item:Q2447752"
From MaRDI portal
The following pages link to Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752):
Displayed 5 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- (Q4558788) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)