Pages that link to "Item:Q5716826"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716826):
Displaying 15 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)
- Spatial logics with connectedness predicates (Q2786121) (← 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)
- (Q3509044) (← links)
- (Q4553286) (← links)
- Kind Bigraphs (Q4982073) (← links)
- Conditional Bigraphs (Q5100722) (← links)
- (Q5431914) (← links)
- On the Computational Complexity of Spatial Logics with Connectedness Constraints (Q5505582) (← links)