Pages that link to "Item:Q674005"
From MaRDI portal
The following pages link to A theory of processes with durational actions (Q674005):
Displaying 16 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- Undecidability of performance equivalence of Petri nets (Q507373) (← links)
- Bisimulation on speed: Worst-case efficiency (Q598200) (← links)
- Non-interleaving bisimulation equivalences on basic parallel processes (Q1049404) (← links)
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time (Q1128976) (← links)
- On the coarsest congruence within global-clock-bounded equivalence (Q1129264) (← links)
- On performance congruences for process algebras (Q1275822) (← links)
- Processes of timed Petri nets (Q1575631) (← links)
- Absolute versus relative time in process algebras. (Q1854325) (← links)
- A study on team bisimulation and H-team bisimulation for BPP nets (Q2055961) (← links)
- Team bisimilarity, and its associated modal logic, for BPP nets (Q2231652) (← links)
- Decidability of performance equivalence for basic parallel processes (Q2503324) (← links)
- Bisimulation on speed: a unified approach (Q2503326) (← links)
- (Q2844828) (← links)
- Bounded concurrency (Q5055935) (← links)
- Bisimulation on speed: Lower time bounds (Q5313721) (← links)
