Pages that link to "Item:Q2848362"
From MaRDI portal
The following pages link to On characterising distributability (Q2848362):
Displaying 12 items.
- Modeling concurrency with interval traces (Q515576) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Conflict vs causality in event structures (Q1996864) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- A two-player asynchronous game on fully observable Petri nets (Q2032842) (← links)
- Abstract processes and conflicts in place/transition systems (Q2051771) (← links)
- Synchronous and asynchronous communication(s) between three parties (Q2182658) (← links)
- Characterising spectra of equivalences for event structures, logically (Q2672268) (← links)
- (Q3385652) (← links)
- k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618) (← links)
- (Q5207054) (← links)
- On An Intriguing Distributional Identity (Q5868155) (← links)