Adding fair choice to Dijkstra's calculus
Autor / Herausgeber: Broy, Manfred ; Nelson, Greg
Verlagsort: New York, NY | Verlag: Assoc. for Computing Machinery (ACM)

[Suche in der Publikation] [PDF-Download]
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10  
50% 100% 150%
  -10 -5 -1
Scan
+1 +5 +10