Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)

Abstract

Sorry, we couldn't extract an abstract for this paper.
DOI: 10.1007/3-540-54430-5_92

Topics

  • Presentations referencing similar topics