Partner

Partners | Elsevier

4 hits in 0.007 sec.

[External link] A theory for nondeterminism, parallelism, communication and concurrency [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
[External link] Algebraic implementations preserve program correctness [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1986
Journal / Series / Collection: Science of computer programming; 7
Subject Area: Informatik
[External link] Nondeterministic data flow programs : how to avoid the merge anomaly; 1 [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1988
Journal / Series / Collection: Science of computer programming; 10
Subject Area: Informatik
[External link] Views of queues [Score: 100%]
Author / Editor: Broy, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: Elsevier |  Year of Publication: 1988
Journal / Series / Collection: Science of computer programming; 11
Subject Area: Informatik

Active filters [Remove filter]

Drill down result

Author / Editor [Remove filter]

Year of Publication

Language