Proceedings Sixth Workshop on Structural Operational Semantics

Details Proceedings Sixth Workshop on Structural Operational Semantics Proceedings Sixth Workshop on Structural Operational Semantics

2010-02-15

arxiv.org/abs/1002.2978v1

EPTCS 18, 2010

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.18

This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop of CONCUR 2009, the 20th International Conference on Concurrency Theory. Structural operational semantics (SOS) is a technique for defining operational semantics for programming and specification languages. The workshop is forum for researchers, students and practitioners interested in new developments and directions for future investigations in the area of SOS. One of the specific goals of the workshop is to provide a meeting point for the concurrency and programming language communities. Another goal is the dissemination of the theory and practice of SOS amongst postgraduate students and young researchers worldwide.

Affiliated with

Also associated with

No associations

Rating

Proceedings Sixth Workshop on Structural Operational Semantics 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 Proceedings Sixth Workshop on Structural Operational Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Sixth Workshop on Structural Operational Semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-597832