The following pages link to (Q4146242):
Displaying 9 items.
- Multiserialization of iterated transactions (Q797005) (← links)
- On the synthesis problems of the semimodular state chart theory. I: Distributive chart (Q1155029) (← links)
- Regularity and firing sequences of computation graphs (Q1159465) (← links)
- Concurrent regular expressions and their relationship to Petri nets (Q1184987) (← links)
- Discrete event simulation modelling of computer systems for performance evaluation (Q1254859) (← links)
- Commutation properties and generating sets characterize slices of various synchronization primitives (Q1256315) (← links)
- The coverability problem in input-output systems (Q1318672) (← links)
- Parallel program schemata (Q2540014) (← links)
- (Q2857723) (← links)
