Process Behaviour: Formulae vs. Tests (Extended Abstract)

Details Process Behaviour: Formulae vs. Tests (Extended Abstract) Process Behaviour: Formulae vs. Tests (Extended Abstract)

2010-11-30

arxiv.org/abs/1011.6438v1

EPTCS 41, 2010, pp. 31-45

Computer Science

Logic in Computer Science

In Proceedings EXPRESS'10, arXiv:1011.6012

Scientific paper

10.4204/EPTCS.41.3

Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, Hennessy, and a recursive version of the property logic HML. We first characterise subsets of this property logic which can be captured by tests. Then we show that those subsets of the property logic capture precisely the power of tests.

Affiliated with

Also associated with

No associations

Rating

Process Behaviour: Formulae vs. Tests (Extended Abstract) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Process Behaviour: Formulae vs. Tests (Extended Abstract), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Process Behaviour: Formulae vs. Tests (Extended Abstract) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-444519