The following pages link to Peter E. Lauer (Q1083184):
Displayed 22 items.
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- (Q1219676) (redirect page) (← links)
- Formal semantics of a class of high-level primitives of coordinating concurrent processes (Q1219678) (← links)
- Formal semantics of a class of high-level primitives for coordinating concurrent processes (Q1236879) (← links)
- Towards an axiomatization of value-theory (Q1240225) (← links)
- A general mechanism for avoiding starvation with distributed control (Q1248367) (← links)
- COSY - a system specification language based on paths and processes (Q1256313) (← links)
- Consistent and complementary formal theories of the semantics of programming languages (Q2561836) (← links)
- (Q3680255) (← links)
- (Q3725531) (← links)
- (Q3780449) (← links)
- (Q3875334) (← links)
- (Q3899505) (← links)
- (Q3907056) (← links)
- (Q3907057) (← links)
- (Q3914418) (← links)
- (Q3939202) (← links)
- (Q4023058) (← links)
- A search strategy for the elementary cycles of a directed graph (Q4096432) (← links)
- (Q4134954) (← links)
- (Q4155818) (← links)
- (Q4167546) (← links)