Power Domains Supporting Recursion and Failure (1998)

Cached

Download Links

by Reinhold Heckmann
Citations:3 - 1 self

Documents Related by Co-Citation

212 A powerdomain construction – G. D. Plotkin - 1976
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
1404 A Discipline of Programming – E W Dijkstra - 1976
579 Nets: An Introduction – Wolfgang Reisig, Petri - 1985
1332 A Calculus of Communicating Systems – R Milner - 1982
1506 The Temporal Logic of Reactive and Concurrent Systems: Specification – Z Manna, A Pnueli - 1991
475 Conditional rewriting logic as a unified model of concurrency – J Meseguer - 1992
415 Guarded commands, nondeterminacy and formal derivation of programs – E W Dijkstra - 1975
731 Notions of Computation and Monads – Eugenio Moggi - 1991
770 Flows in networks – L R Ford, D R Fulkerson - 1962