Pages that link to "Item:Q1854323"
From MaRDI portal
The following pages link to Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323):
Displaying 16 items.
- Modeling dependencies and simultaneity in membrane system computations (Q418826) (← links)
- Regions of Petri nets with a/sync connections (Q714824) (← links)
- Applying regions (Q728281) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- (Q2851050) (← links)
- Causal Nets: A Modeling Language Tailored towards Process Discovery (Q3090820) (← links)
- Graph Transformation with Dependencies for the Specification of Interactive Systems (Q3184727) (← links)
- On the Synthesis of Zero-Safe Nets (Q3507377) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Coordination: Reo, Nets, and Logic (Q3603000) (← links)
- Hornets: Nets within Nets Combined with Net Algebra (Q3636848) (← links)
- GETGRATS (Q4923529) (← links)
- Towards a Notion of Transaction in Graph Rewriting (Q5404174) (← links)
- ReLo: a Dynamic Logic to Reason About Reo Circuits (Q6118744) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)
