Pages that link to "Item:Q2333309"
From MaRDI portal
The following pages link to Labelled port graph -- a formal structure for models and computations (Q2333309):
Displaying 7 items.
- Proper distinguishing arc-colourings of symmetric digraphs (Q2079126) (← links)
- Labelled graph strategic rewriting for social networks (Q2413024) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- (Q5018494) (← links)
- Distinguishing arc-colourings of symmetric digraphs (Q5058208) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
- Implementing the \(\lambda_{GT}\) language: a functional language with graphs as first-class data (Q6535521) (← links)