Pages that link to "Item:Q1901718"
From MaRDI portal
The following pages link to Axiomatizing the algebra of net computations and processes (Q1901718):
Displaying 27 items.
- An axiomatization of the algebra of Petri net concatenable processes (Q672052) (← links)
- Process versus unfolding semantics for Place/Transition Petri nets (Q672872) (← links)
- Petri nets, algebras, morphisms, and compositionality (Q1091145) (← links)
- A causal semantics for CCS via rewriting logic (Q1606128) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Zero-safe nets: Comparing the collective and individual token approaches. (Q1854323) (← links)
- Tile formats for located and mobile systems. (Q1854326) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Abstract processes of place/transition systems (Q1944098) (← links)
- Spreading nets: a uniform approach to unfoldings (Q1987731) (← links)
- Abstract processes in the absence of conflicts in general place/transition systems (Q2105420) (← links)
- A Normal Form for Stateful Connectors (Q2945707) (← links)
- Language Representability of Finite P/T Nets (Q3460873) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Unifying Petri Net Semantics with Token Flows (Q3636837) (← links)
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework (Q4923514) (← links)
- Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra (Q4923515) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Petri Nets Are Dioids (Q5505415) (← links)
- Theoretical Computer Science (Q5897365) (← links)
- Algebraic characterization of petri net pomset semantics (Q6044132) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
- Whole-grain Petri nets and processes (Q6567261) (← links)
