Documents Related by Co-Citation

266 Dataflow Process Networks – Edward A. Lee, Thomas Parks - 1995
1734 MapReduce: Simplified Data Processing on Large Clusters – Jeffrey Dean, et al. - 2004
786 The Semantics of a Simple Language for Parallel Programming – G Kahn - 1974
615 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
1332 A Calculus of Communicating Systems – R Milner - 1982
484 Synchronous data flow – Edward A. Lee, et al. - 1987
1311 Monads for functional programming – Philip Wadler - 1995
731 Structure and interpretation of computer programs. MIT electrical engineering and computer science series – H Abelson, G J Sussman, J Sussman - 1991
624 Model checking and abstraction – Peter J. Clarke, Djuradj Babich, Tariq M. King, B. M. Golam Kibria - 1994