Synthesising Choreographies from Local Session Types (extended version)

Details Synthesising Choreographies from Local Session Types (extended version) Synthesising Choreographies from Local Session Types (extended version)

2012-04-11

arxiv.org/abs/1204.2566v1

Computer Science

Programming Languages

Scientific paper

Designing and analysing multiparty distributed interactions can be achieved either by means of a global view (e.g. in choreography-based approaches) or by composing available computational entities (e.g. in service orchestration). This paper proposes a typing systems which allows, under some conditions, to synthesise a choreography (i.e. a multiparty global type) from a set of local session types which describe end-point behaviours (i.e. local types).

Affiliated with

Also associated with

No associations

Rating

Synthesising Choreographies from Local Session Types (extended version) 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 Synthesising Choreographies from Local Session Types (extended version), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Synthesising Choreographies from Local Session Types (extended version) will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-311338