Pages that link to "Item:Q2447752"
From MaRDI portal
The following pages link to Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752):
Displaying 6 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← 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)
