Pages that link to "Item:Q5955751"
From MaRDI portal
The following pages link to Models and logics for true concurrency. (Q5955751):
Displayed 3 items.
- REWRITING LOGIC-BASED SEMANTICS OF <font>P</font> SYSTEMS AND THE MAXIMAL CONCURRENCY (Q3636151) (← links)
- Decidability of a partial order based temporal logic (Q4630294) (← links)
- Strategy-Based Rewrite Semantics for Membrane Systems Preserves Maximal Concurrency of Evolution Rule Actions (Q5170164) (← links)