1 hits in 0.056 sec.
Adding fair choice to Dijkstra's calculus; 3
[Score: 100%]
Author / Editor: Broy, Manfred; Nelson, Greg | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik
Author / Editor: Broy, Manfred; Nelson, Greg | Place of publication: New York, NY | Publisher: Association for Computing Machinery | Year of Publication: 1994 | 15 s.
Journal / Series / Collection: ACM transactions on programming languages and systems; 16
Subject Area: Informatik