Vidal's library


Title: Automatic Verification of a Class of Symmetric Parallel Programs
Author: Boleslaw K. Szymanski and José M. Vidal
Book Tittle: Proceedings of the IFIP 13th World Computer Congress. Volume 1 : Technology and Foundations
Editor: Bjorn Pehrson and Imre Simon
Pages: 571--578
Month: 28
Publisher: Elsevier Science Publishers
Year: 1994
ISBN: 0-444-81989-4

Cited by 6  -  Google Scholar  -  ISBNdb  -  Amazon

@InProceedings{szymansky,
  author =	 {Boleslaw K. Szymanski and Jos\'{e} M. Vidal},
  title =	 {Automatic Verification of a Class of Symmetric
                  Parallel Programs},
  pages =	 {571--578},
  ISBN =	 {0-444-81989-4},
  editor =	 {Bjorn Pehrson and Imre Simon},
  booktitle =	 {Proceedings of the {IFIP} 13th World Computer
                  Congress. Volume 1 : Technology and Foundations},
  month =	 "28 " # aug # "--1 " # sep,
  publisher =	 {Elsevier Science Publishers},
  address =	 {Amsterdam, The Netherlands},
  year =	 1994,
  url = 	 {http://jmvidal.cse.sc.edu/papers/verif.ps},
  googleid = 	 {eBsxiAozCrAJ:scholar.google.com/},
  keywords = 	 {distributed algorithms},
  cluster = 	 {12685007420770032504},
}
Last modified: Wed Mar 9 10:13:49 EST 2011