|
| Books 1 - 10 of 14 | Previous | Next |
|
 | | A language for value-passing CCS
by Glenn Bruns
Unknown Binding, Published 1991 by University of Edinburgh, Laboratory for Foundation of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Applying process refinement to a safety-relevant system (LFCS report series)
by Glenn Bruns
Unknown Binding, 15 Pages, Published 1994 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A case study in safety-critical design
by Glenn Bruns
Unknown Binding, Published 1992 by University of Edinburgh, Department of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | Trapping mutual exclusion in the box calculus
by Javier Esparza, Glenn Bruns
Unknown Binding, Published 1994 by University of Edinburgh, Laboratory for Foundation of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The formalization and analysis of a communications protocol
by Glenn Bruns, Stuart Anderson
Unknown Binding, Published 1991 by University of Edinburgh, Laboratory for Foundation of Computer Science
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A language for value-passing CCS (LFCS report series)
by Glenn Bruns
Unknown Binding, 12 Pages, Published 1991 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A Case Study in Safety-Critical Design (LFCS report series)
by Glenn Bruns
Unknown Binding, 14 Pages, Published 1992 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The formalization and analysis of a communications protocol (LFCS report series)
by Glenn Bruns
Unknown Binding, 17 Pages, Published 1991 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | The Formalization and Analysis of a Communications Protocol (LFCS report series)
by Glenn Bruns, Stuart Anderson
Unknown Binding, 17 Pages, Published 1991 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
 | | A case study in safety-critical design (LFCS report series)
by Glenn Bruns
Unknown Binding, 14 Pages, Published 1992 by LFCS, Dept. of Computer Science, University of Edinburgh
Compare Prices | Add to Wish List | Set Price Alert |
|
| Books 1 - 10 of 14 | Previous | Next |