Characteristic Formulae for Relations with Nested Fixed Points

Details Characteristic Formulae for Relations with Nested Fixed Points Characteristic Formulae for Relations with Nested Fixed Points

2012-02-16

arxiv.org/abs/1202.3497v1

EPTCS 77, 2012, pp. 15-22

Computer Science

Logic in Computer Science

In Proceedings FICS 2012, arXiv:1202.3174

Scientific paper

10.4204/EPTCS.77.3

A general framework for the connection between characteristic formulae and behavioral semantics is described in [2]. This approach does not suitably cover semantics defined by nested fixed points, such as the n-nested simulation semantics for n greater than 2. In this study we address this deficiency and give a description of nested fixed points that extends the approach for single fixed points in an intuitive and comprehensive way.

Affiliated with

Also associated with

No associations

Rating

Characteristic Formulae for Relations with Nested Fixed Points 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 Characteristic Formulae for Relations with Nested Fixed Points, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Characteristic Formulae for Relations with Nested Fixed Points will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-124925