Merging Process Algebra and Action-based Computation Tree Logic

Abstract

Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches take different standpoint for looking at specifications and verifications, and offer complementary advantages. In order to mix algebraic and logic styles of specification in a… (More)

2 Figures and Tables

Topics

  • Presentations referencing similar topics