Merging Process Algebra and Action-based Computation Tree Logic


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


  • Presentations referencing similar topics