Proving consistency of concurrency constraints for object-oriented parallel systems
Main Author: | |
---|---|
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 |