Solving problems on concurrent processors
Main Author: | Fox, Geoffrey C. |
---|---|
Other Authors: | Johnson, Mark A., Lyzenga, Gregory A. |
Format: | Book |
Language: | English |
Published: |
Englewood Cliffs, New Jersey
Prentice Hall
|
Subjects: |
Similar Items
-
The massively parallel processor
Published: (1985) -
Logics and models of concurrent systems /
Published: (1985) -
Verifying concurrent processes using temporal logic
by: Hailpern, Brent T. 1955- ((Brent Tzion))
Published: (1982) -
Logics for concurrency structure versus automata
Published: (1996) -
Linear time, branching time and partial order in logics and models for concurrency
Published: (1989)