Pages that link to "Item:Q2200819"
From MaRDI portal
The following pages link to On the \(k\)-synchronizability of systems (Q2200819):
Displaying 7 items.
- Guessing the buffer bound for k-synchronizability (Q2117668) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Multiparty half-duplex systems and synchronous communications (Q2683034) (← links)
- (Q5028474) (← links)
- Non axiomatisability of positive relation algebras with constants, via graph homomorphisms (Q5089316) (← links)
- Guessing the Buffer Bound for k-Synchronizability (Q6070755) (← links)
- Towards generalised half-duplex systems (Q6649540) (← links)
