The following pages link to (Q3675512):
Displaying 5 items.
- Multiserialization of iterated transactions (Q797005) (← links)
- Theory of traces (Q1107296) (← links)
- Serialization of concurrent programs (Q1124386) (← links)
- Fifo nets without order deadlock (Q1819941) (← links)
- Characterizations of the decidability of some problems for regular trace languages (Q4729376) (← links)
