The following pages link to Luc Bougé (Q1060836):
Displaying 16 items.
- (Q198698) (redirect page) (← links)
- A contribution to the theory of program testing (Q1060837) (← links)
- On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes (Q1090104) (← links)
- Two normal form theorems for CSP programs (Q1094869) (← links)
- Formal validation of data-parallel programs: a two-component assertional proof system for a simple language (Q1389681) (← links)
- Madeleine II: A portable and efficient communication library for high-performance cluster computing (Q1605471) (← links)
- Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP (Q1822234) (← links)
- (Q2764152) (← links)
- Bringing introspection into BlobSeer: towards a self-adaptive distributed data management system (Q2845106) (← links)
- (Q3787467) (← links)
- (Q4014811) (← links)
- (Q4289646) (← links)
- (Q4536967) (← links)
- (Q4738824) (← links)
- (Q4813114) (← links)
- The Hyperion system: Compiling multithreaded Java bytecode for distributed execution (Q5941490) (← links)
