TY - GEN
T1 - Hybrid parallel programming and implementation of synchronised communication
AU - Jifeng, He
N1 - Publisher Copyright:
© 1993, Springer Verlag. All rights reserved.
PY - 1993
Y1 - 1993
N2 - An occam program is usually translated into a machine program executed in parallel with a set of system processes such as communication protocol and scheduler, where the target program appears in a form which cannot be adequately modelled in a purely communication-based parallel language since concurrent components share variables. This paper presents a mathematical theory for a hybrid language equipped with a parallel construct, whose sub-processes can communicate with each other via both channels and shared variables. We examine the-algebraic laws of the language, and show how they can help in the implementation of concurrency and synchronised communication of occam.
AB - An occam program is usually translated into a machine program executed in parallel with a set of system processes such as communication protocol and scheduler, where the target program appears in a form which cannot be adequately modelled in a purely communication-based parallel language since concurrent components share variables. This paper presents a mathematical theory for a hybrid language equipped with a parallel construct, whose sub-processes can communicate with each other via both channels and shared variables. We examine the-algebraic laws of the language, and show how they can help in the implementation of concurrency and synchronised communication of occam.
UR - https://www.scopus.com/pages/publications/84897575915
U2 - 10.1007/3-540-57182-5_45
DO - 10.1007/3-540-57182-5_45
M3 - 会议稿件
AN - SCOPUS:84897575915
SN - 9783540571827
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 537
EP - 546
BT - Mathematical Foundations of Computer Science 1993 - 18th International Symposium, MFCS 1993, Proceedings
A2 - Borzyszkowski, Andrzej M.
A2 - Sokolowski, Stefan
PB - Springer Verlag
T2 - 18th International Symposium on Mathematical Foundations of Computer Science, MFCS 1993
Y2 - 30 August 1993 through 3 September 1993
ER -