2012
DOI: 10.48550/arxiv.1212.6813
|View full text |Cite
Preprint
|
Sign up to set email alerts
|

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 uniform framework, the notion of a logic labelled transition system (LLTS) has been presented and explored by Lüttgen and Vogler. This paper intends to propos… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 51 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?