Elements of paraller computing
| Main Author: | Rajaraman, V. (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New Delhi
Prentice-Hall of India
2004
|
| Subjects: |
Similar Items
-
Verifying concurrent processes using temporal logic
by: Hailpern, Brent T. 1955- ((Brent Tzion))
Published: (1982) -
Logics and models of concurrent systems /
Published: (1985) -
Linear time, branching time and partial order in logics and models for concurrency
Published: (1989) -
The massively parallel processor
Published: (1985) -
New concepts and technologies in parallel information processing : [proceedings of the NATO Advanced Study Institute, held at Capri, Italy, June 17-30, 1973] /
Published: (1975)