Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Verification of JCSP Programs

Reviewed Paper In Proceedings
Author(s):Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, and Peter H. Schmitt
In:28th WoTUG Conference on Communicating Process Architectures (CPA 2005)
Publisher:IOS Press
Series:Concurrent Systems Engineering Series
Volume:63
Year: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}
}