Pages that link to "Item:Q1207946"
From MaRDI portal
The following pages link to Iteration theories of synchronization trees (Q1207946):
Displaying 15 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Nondeterministic regular expressions as solutions of equational systems. (Q1401324) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Symbolic model checking for probabilistic processes (Q4571974) (← links)
- Traced monoidal categories (Q4877674) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- (Q5014444) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
