Verification of JCSP Programs

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Vladimir Klebanov, Philipp Rümmer, Steffen Schlager und Peter H. Schmitt
In:28th WoTUG Conference on Communicating Process Architectures (CPA 2005)
Verleger:IOS Press
Reihe:Concurrent Systems Engineering Series
Band:63
Jahr:2005

BibTeX

@InProceedings{Klebanov05,
  author    = {Vladimir Klebanov and Philipp R\"{u}mmer and Steffen Schlager
               and Peter H. Schmitt},
  editor    = {Jan F. Broenink and
               Herman W. Roebbers and
               Johan P. E. Sunter and
               Peter H. Welch and
               David C. Wood},
  title     = {Verification of {JCSP} Programs},
  booktitle = {28th WoTUG Conference on Communicating Process Architectures (CPA 2005)},
  series    = {Concurrent Systems Engineering Series},
  volume    = {63},
  publisher = {{IOS} Press},
  year      = {2005}
}