Developments in concurrency and communication/
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , , |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Reading, Mass.:
Addison-Wesley Pub. Co.,
c1990
|
Σειρά: | The UT year of programming series
|
Θέματα: |
Πίνακας περιεχομένων:
- Programming in VLSI : from communicating processes to delay-insensitive circuits / Alain J. Martin
- Occam and the transputer / David May
- Compiling occam in silicon / David May
- Use of formal methods by a silicon manufacturer / David May
- GR-ChTUC
- GR-AtNTU