Pages that link to "Item:Q5716826"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716826):
Displaying 11 items.
- Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing (Q736791) (← links)
- Bigraphs with sharing (Q2339468) (← links)
- Logics for actor networks: a two-stage constrained-hybridisation approach (Q2423775) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Local Reasoning about Data Update (Q2864149) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- An Algebra for Directed Bigraphs (Q2870313) (← links)
- (Q4553286) (← links)
- Kind Bigraphs (Q4982073) (← links)
- Conditional Bigraphs (Q5100722) (← links)