Derivation of parallel algorithms from functional specifications to CSP processes-Reference-Cited by-同舟云学术

Derivation of parallel algorithms from functional specifications to CSP processes

Published:1995 Issue: Volume: Page:67-96
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Abdallah Ali E.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-60117-1_6.pdf

Reference20 articles.

1. Abdallah, A. E. “An Algebraic Approach for the Refinement of Functional Specifications to CSP Processes”. Internal Report. The University of Reading, 1994.

2. Bird, R. S. “The Promotion and Accumulation Strategies in Transformational Programming”. ACM TOPLAS, Vol. 6, No. 4, 1984.

3. Bird, R. S. “An Introduction to the Theory of Lists”. PRG-56, Oxford University, Programming Research Group, 1986.

4. Bird, R. S. “Constructive functional programming”. In Constructive Methods in Computer Science, Springer-Verlag, 1988.

5. Bird, R. S. and Meertens, L. G. L. T. Two Exercices Found in a Book on Algorithmics. In Program Specification and Transformation. North Holland, 1986

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Applied Formal Methods – From CSP to Executable Hybrid Specifications;Communicating Sequential Processes. The First 25 Years;2005

2. Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification;IFIP International Federation for Information Processing;2004

3. A graphical tool for the visualization and animation of communicating sequential processes;Euro-Par’98 Parallel Processing;1998

4. Synthesis of massively pipelined algorithms for list manipulation;Lecture Notes in Computer Science;1996

5. Derivation of parallel algorithms from functional specifications to CSP processes;Lecture Notes in Computer Science;1995