1 Treffer in 0.006 Sek.
Adding fair choice to Dijkstra's calculus; 3
[Relevanz: 100%]
Autor / Herausgeber: Broy, Manfred; Nelson, Greg | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik
Autor / Herausgeber: Broy, Manfred; Nelson, Greg | Verlagsort: New York, NY | Verlag: Association for Computing Machinery | Erscheinungsjahr: 1994 | 15 S.
Zeitschrift / Sammelband: ACM transactions on programming languages and systems; 16
Fachgebiet: Informatik