Adding fair choice to Dijkstra's calculus

Digitalisierung: Bayerische Staatsbibliothek

In copyright

Location
München, Bayerische Staatsbibliothek -- 4 Z 81.25-16,1/3#S.924-938
Extent
1 Online-Ressource (S. [924] - 938)
Language
Englisch
Notes
In: ACM transactions on programming languages and systems, Vol. 16, No. 3, 1994. - New York, NY : Assoc. for Computing Machinery (ACM)

Event
Veröffentlichung
(where)
New York, NY
(who)
Assoc. for Computing Machinery (ACM)
(when)
1994
Creator

URN
urn:nbn:de:bvb:12-bsb00069234-4
Last update
18.11.0006, 4:05 AM CET

Data provider

This object is provided by:
Bayerische Staatsbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 1994

Other Objects (12)