Domain Theory in Logical Form (1991)

by Samson Abramsky
Venue:Annals of Pure and Applied Logic
Citations:233 - 10 self

Active Bibliography

496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
815 The Temporal Logic of Actions – Leslie Lamport - 1993
734 Notions of Computation and Monads – Eugenio Moggi - 1991
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
1318 Monads for functional programming – Philip Wadler - 1995
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
587 Symbolic Model Checking: 10^20 States and Beyond – J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, L. J. Hwang - 1992
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001