%0 Journal Article %1 journals/ijpp/Pratt86 %A Pratt, Vaughan R. %D 1986 %J Int. J. Parallel Program. %K dblp %N 1 %P 33-71 %T Modeling concurrency with partial orders. %U http://dblp.uni-trier.de/db/journals/ijpp/ijpp15.html#Pratt86 %V 15

@article{journals/ijpp/Pratt86, added-at = {2020-04-01T00:00:00.000+0200}, author = {Pratt, Vaughan R.}, biburl = {https://www.bibsonomy.org/bibtex/28d8342a5c45e506fee51156ef41182d6/dblp}, ee = {https://doi.org/10.1007/BF01379149}, interhash = {cd3fbd85169969b43762b869a552380b}, intrahash = {8d8342a5c45e506fee51156ef41182d6}, journal = {Int. J. Parallel Program.}, keywords = {dblp}, number = 1, pages = {33-71}, timestamp = {2020-04-02T11:57:01.000+0200}, title = {Modeling concurrency with partial orders.}, url = {http://dblp.uni-trier.de/db/journals/ijpp/ijpp15.html#Pratt86}, volume = 15, year = 1986 }