The following pages link to (Q4134996):
Displaying 4 items.
- A comparison of two Petri net types (Q1054155) (← links)
- Correctness of parallel programs: The Church-Rosser approach (Q1241051) (← links)
- Commutation relations of slices characterize some synchronization primitives (Q1245691) (← links)
- Commutation properties and generating sets characterize slices of various synchronization primitives (Q1256315) (← links)