A powerdomain construction (1976)

Cached

Download Links

by G. D. Plotkin
Venue:SIAM J. of Computing
Citations:214 - 20 self

Active Bibliography

938 A theory of type polymorphism in programming – Robin Milner - 1978
575 An introduction to software architecture – David Garlan, Mary Shaw - 1993
489 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
472 An introduction to input/output automata – Nancy A. Lynch, Mark R. Tuttle - 1989
262 Relations in Concurrency – Glynn Winskel
252 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
249 LUSTRE: A declarative language for programming synchronous systems – P. Caspi, D. Pilaud, N. Halbwachs, J. A. Plaice - 1987
245 A Framework for Comparing Models of Computation – Edward A. Lee, Alberto Sangiovanni-vincentelli - 1998
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992