Continuous Functions and Parallel Algorithms on Concrete Data Structures (1991)

View PDF

Download Links

by Stephen Brookes , Shai Geva
Venue:IN MFPS'91, L.N.C.S
Citations:13 - 2 self

Documents Related by Co-Citation

31 Theory and practice of sequential algorithms: the kernel of the applicative language CDS – G BERRY, P-L CURIEN - 1985
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
406 LCF considered as a programming language – Gordon Plotkin - 1977
22 First-Class Schedules and Virtual Maps – R Mirani, P Hudak - 1995
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
1176 Introduction to Lattices and Order – B A Davey, H A Priestley - 1990
879 A formulation of the simple theory of types – A Church - 1940
700 Concurrency and automata on infinite sequences – D Park - 1981