Towards a theory of parallel algorithms on concrete data structures (1990)

View PDF

Download Links

by Stephen Brookes , Shai Geva
Venue:In Semantics for Concurrency, Leicester
Citations:11 - 6 self

Documents Related by Co-Citation

84 Sequential algorithms on concrete data structures – G Berry, P-L Curien - 1982
406 LCF considered as a programming language – Gordon Plotkin - 1977
9061 Introduction to Algorithms – Matteo Frigo, Volker Strumpen - 2009
986 Categories for the Working Mathematician – Saunders Mac Lane - 1971
3643 Communicating Sequential Processes – C. A. R. Hoare - 1985
21 About primitive recursive algorithms – L Colson - 1991
1626 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1373 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
473 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985