Synthesis Methodology for Concurrent Communicating Processes
Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli

Citation
Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli. "Synthesis Methodology for Concurrent Communicating Processes". Talk or presentation, 23, February, 2006; Presented in conjunction with BEARS 2006.

Abstract
(No abstract.)

Electronic downloads

(No downloads are available for this publication.)

Citation formats

• HTML

  Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/29.html"
  ><i>Synthesis Methodology for Concurrent
  Communicating Processes</i></a>, Talk or
  presentation,  23, February, 2006; Presented in conjunction
  with BEARS 2006.

• Plain text

  Guoqiang Gerald Wang, Alberto Sangiovanni-Vincentelli.
  "Synthesis Methodology for Concurrent Communicating
  Processes". Talk or presentation,  23, February, 2006;
  Presented in conjunction with BEARS 2006.

• BibTeX

  @presentation{WangSangiovanniVincentelli06_SynthesisMethodologyForConcurrentCommunicatingProcesses,
      author = {Guoqiang Gerald Wang and Alberto
                Sangiovanni-Vincentelli},
      title = {Synthesis Methodology for Concurrent Communicating
                Processes},
      day = {23},
      month = {February},
      year = {2006},
      note = {Presented in conjunction with BEARS 2006.},
      abstract = {(No abstract.)},
      URL = {http://chess.eecs.berkeley.edu/pubs/29.html}
  }
  

Posted by Jonathan Sprinkle on 27 Feb 2006.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.