Proving consistency of concurrency constraints for object-oriented parallel systems

Bibliographic Details
Main Author: Seehusen, Silke
Format: Book
Language:English
Published: Osnabrück : Fachbereich Mathematik/Informatik, Univ. Osnabrück 1992
Series:Osnabrücker Schriften zur Mathematik / I 30
Item Description:Literaturverz. S. 11 - 12.
Physical Description:12 S. graph. Darst.
Subjects:
QR Code: Show QR Code