The following pages link to (Q4371024):
Displaying 10 items.
- Petri net representation of multi-valued logical regulatory graphs (Q553914) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Multilevel transitive and intransitive non-interference, causally (Q1680560) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Drags: a compositional algebraic framework for graph rewriting (Q2422028) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- Non-interference by Unfolding (Q5166764) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)