Object-Based Parallel and Distributed Computation
Springer Berlin Heidelberg
Chapter title |
Proofs, concurrent objects and computations in a FILL framework
|
---|---|
Chapter number | 26 |
Book title |
Object-Based Parallel and Distributed Computation
|
Published by |
Springer, Berlin, Heidelberg, January 1996
|
DOI | 10.1007/3-540-61487-7_26 |
Book ISBNs |
978-3-54-061487-6, 978-3-54-068672-9
|
Authors |
D. Galmiche, E. Boudinet |