{"_id":"xC4sYviFQJdLSM9pE","bibbaseid":"liu-orgun-executingspecificationsofdistributedcomputationswithchronologmc-1996","downloads":0,"creationDate":"2015-10-09T01:43:12.028Z","title":"Executing specifications of distributed computations with Chronolog(MC)","author_short":["Liu, C.","Orgun, M. A."],"year":1996,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/o/Orgun:Mehmet_A=","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Chuchang"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Mehmet","A."],"propositions":[],"lastnames":["Orgun"],"suffixes":[]}],"title":"Executing specifications of distributed computations with Chronolog(MC)","booktitle":"Proceedings of the 1996 ACM Symposium on Applied Computing, SAC'96, Philadelphia, PA, USA, February 17-19, 1996","pages":"393–400","year":"1996","crossref":"DBLP:conf/sac/1996","url":"https://doi.org/10.1145/331119.331415","doi":"10.1145/331119.331415","timestamp":"Wed, 14 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/sac/LiuO96.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Liu, C.","Orgun, M. A."],"key":"DBLP:conf/sac/LiuO96","id":"DBLP:conf/sac/LiuO96","bibbaseid":"liu-orgun-executingspecificationsofdistributedcomputationswithchronologmc-1996","role":"author","urls":{"Paper":"https://doi.org/10.1145/331119.331415"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["executing","specifications","distributed","computations","chronolog","liu","orgun"],"keywords":[],"authorIDs":["56171baf372e2a7a1a000670"],"dataSources":["4JocmSptLqeD5K7hG","uPDiu8Pvr23e2uyMf"]}