Derivation of parallel algorithms from functional specifications to CSP processes

Ali E. Abdallah

doi:10.1007/3-540-60117-1_6

Derivation of parallel algorithms from functional specifications to CSP processes

Ali E. Abdallah^*

^*Corresponding author for this work

University of Reading

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

18 Citations (Scopus)

Original language	English
Title of host publication	Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings
Editors	Bernhard Moller
Publisher	Springer Verlag
Pages	67-96
Number of pages	30
ISBN (Print)	3540601171, 9783540601173
DOIs	https://doi.org/10.1007/3-540-60117-1_6
Publication status	Published (VoR) - 1995
Event	3rd International Conference on Mathematics of Program Construction, MPC '95 - Kloster Irsee, Germany Duration: 17 Jul 1995 → 21 Jul 1995

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	947
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	3rd International Conference on Mathematics of Program Construction, MPC '95
Country/Territory	Germany
City	Kloster Irsee
Period	17/07/95 → 21/07/95

Access to Document

10.1007/3-540-60117-1_6

Cite this

Abdallah, A. E. (1995). Derivation of parallel algorithms from functional specifications to CSP processes. In B. Moller (Ed.), Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings (pp. 67-96). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 947). Springer Verlag. https://doi.org/10.1007/3-540-60117-1_6

Abdallah, Ali E. / Derivation of parallel algorithms from functional specifications to CSP processes. Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings. editor / Bernhard Moller. Springer Verlag, 1995. pp. 67-96 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f00750621ad24b15b87b53eb7abe5ff5,

title = "Derivation of parallel algorithms from functional specifications to CSP processes",

author = "Abdallah, {Ali E.}",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1995.; 3rd International Conference on Mathematics of Program Construction, MPC '95 ; Conference date: 17-07-1995 Through 21-07-1995",

year = "1995",

doi = "10.1007/3-540-60117-1_6",

language = "English",

isbn = "3540601171",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "67--96",

editor = "Bernhard Moller",

booktitle = "Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings",

}

Abdallah, AE 1995, Derivation of parallel algorithms from functional specifications to CSP processes. in B Moller (ed.), Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 947, Springer Verlag, pp. 67-96, 3rd International Conference on Mathematics of Program Construction, MPC '95, Kloster Irsee, Germany, 17/07/95. https://doi.org/10.1007/3-540-60117-1_6

Derivation of parallel algorithms from functional specifications to CSP processes. / Abdallah, Ali E.
Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings. ed. / Bernhard Moller. Springer Verlag, 1995. p. 67-96 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 947).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Derivation of parallel algorithms from functional specifications to CSP processes

AU - Abdallah, Ali E.

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1995.

PY - 1995

Y1 - 1995

UR - http://www.scopus.com/inward/record.url?scp=84958747451&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84958747451&partnerID=8YFLogxK

U2 - 10.1007/3-540-60117-1_6

DO - 10.1007/3-540-60117-1_6

M3 - Conference contribution

AN - SCOPUS:84958747451

SN - 3540601171

SN - 9783540601173

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 67

EP - 96

BT - Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings

A2 - Moller, Bernhard

PB - Springer Verlag

T2 - 3rd International Conference on Mathematics of Program Construction, MPC '95

Y2 - 17 July 1995 through 21 July 1995

ER -

Abdallah AE. Derivation of parallel algorithms from functional specifications to CSP processes. In Moller B, editor, Mathematics of Program Construction - 3rd International Conference, MPC 1995, Proceedings. Springer Verlag. 1995. p. 67-96. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-60117-1_6

Derivation of parallel algorithms from functional specifications to CSP processes

Publication series

Conference

Access to Document

Other files and links

Cite this