Search
for Author
All Reviews
Bujtor, Ferenc
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
1
of
1
reviews
Nondeterministic modal interfaces
Bujtor F., Fendrich S., Lüttgen G., Vogler W. Theoretical Computer Science 642(C): 24-53, 2016. Type: Article
Concurrent systems consist of multiple components; the design of such a system must: allow its specification to be composed from the component requirements; allow its implementation to be composed from the component capabilities; and s...
...
Nov 17 2016
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy