Interaction and observation, categorically

Details Interaction and observation, categorically Interaction and observation, categorically

2011-08-02

arxiv.org/abs/1108.0464v1

EPTCS 59, 2011, pp. 25-36

Computer Science

Programming Languages

In Proceedings ICE 2011, arXiv:1108.0144

Scientific paper

10.4204/EPTCS.59.3

This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of observation and interaction are separate features. This is useful, for example, in the specification of process equivalences, which are obtained as kernels of the homomorphisms of dialgebras. As an example we present the asynchronous semantics of the CCS.

Affiliated with

Also associated with

No associations

Rating

Interaction and observation, categorically 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 Interaction and observation, categorically, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Interaction and observation, categorically will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508362