%0 Journal Article %1 journals/tse/ShiPSP87 %A Shi, Yuan %A Prywes, Noah S. %A Szymanski, Boleslaw K. %A Pnueli, Amir %D 1987 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 1038-1046 %T Very High Level Concurrent Programming. %U http://dblp.uni-trier.de/db/journals/tse/tse13.html#ShiPSP87 %V 13

@article{journals/tse/ShiPSP87, added-at = {2023-03-21T00:00:00.000+0100}, author = {Shi, Yuan and Prywes, Noah S. and Szymanski, Boleslaw K. and Pnueli, Amir}, biburl = {https://www.bibsonomy.org/bibtex/2dfca70127430918ea62341ad6da986d3/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233791}, interhash = {2fe490afa8d2554b9c206483b8e6edc1}, intrahash = {dfca70127430918ea62341ad6da986d3}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {1038-1046}, timestamp = {2024-04-08T21:08:24.000+0200}, title = {Very High Level Concurrent Programming.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse13.html#ShiPSP87}, volume = 13, year = 1987 }