The following pages link to Michael Shields (Q1402460):
Displaying 23 items.
- (Q1203121) (redirect page) (← links)
- Multitraces, hypertraces and partial order semantics (Q1203122) (← links)
- COSY - a system specification language based on paths and processes (Q1256313) (← links)
- Local invariance (Q1402461) (← links)
- Overtaking in asynchronous periodic systems (Q1977128) (← links)
- (Q3313266) (← links)
- (Q3675545) (← links)
- (Q3687721) (← links)
- Concurrent Machines (Q3691067) (← links)
- (Q3779754) (← links)
- (Q3867194) (← links)
- (Q3899505) (← links)
- (Q3907056) (← links)
- (Q3907057) (← links)
- (Q3914418) (← links)
- (Q3939202) (← links)
- (Q4167546) (← links)
- (Q4353627) (← links)
- (Q4372486) (← links)
- (Q4721652) (← links)
- (Q4733419) (← links)
- (Q4825706) (← links)
- (Q4948016) (← links)
