The following pages link to Jeff Kramer (Q229320):
Displaying 16 items.
- A software architecture for distributed computer control systems (Q595575) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- Invariants in the application-oriented specification of control systems (Q1159109) (← links)
- Implied scenario detection in the presence of behaviour constraints (Q2841318) (← links)
- An inductive approach for modal transition system refinement (Q2909149) (← links)
- Translating FSP into LOTOS and Networks of Automata (Q3608896) (← links)
- The Conic toolkit for building distributed systems (Q3751454) (← links)
- (Q3992841) (← links)
- An exercise in program design using SIMULA class invariants (Q4153586) (← links)
- (Q4240122) (← links)
- (Q4417967) (← links)
- Distribution of Modal Transition Systems (Q4647857) (← links)
- (Q4809153) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709369) (← links)
- An approach for recovering distributed system architectures (Q5955434) (← links)
