%0 Journal Article %1 journals/ipl/Kawai80 %A Kawai, Hiroya %D 1980 %J Inf. Process. Lett. %K dblp %N 4/5 %P 204-210 %T A Formal System for Parallel Programs in Discrete Time and Space. %U http://dblp.uni-trier.de/db/journals/ipl/ipl11.html#Kawai80 %V 11

@article{journals/ipl/Kawai80, added-at = {2011-07-07T00:00:00.000+0200}, author = {Kawai, Hiroya}, biburl = {https://www.bibsonomy.org/bibtex/25d15e7e8bec00653fa7c4b98485eb859/dblp}, ee = {http://dx.doi.org/10.1016/0020-0190(80)90051-4}, interhash = {962c87982a1406c63b4c57e5868b4606}, intrahash = {5d15e7e8bec00653fa7c4b98485eb859}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = {4/5}, pages = {204-210}, timestamp = {2011-07-08T11:33:41.000+0200}, title = {A Formal System for Parallel Programs in Discrete Time and Space.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl11.html#Kawai80}, volume = 11, year = 1980 }