Structural Operational Semantics

Structural Operational Semantics (1999)

Cached

Download Links

by Luca Aceto , Wan Fokkink , Chris Verhoef

Venue:	Handbook of Process Algebra
Citations:	102 - 11 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Structural Operational Semantics	user correction - Legacy Corrections
AUTHOR NAME	Luca Aceto	user correction - Legacy Corrections
AUTHOR NAME	Wan Fokkink	user correction - Legacy Corrections
AUTHOR AFFIL	Contents	user correction - Legacy Corrections
AUTHOR NAME	Chris Verhoef	user correction - Legacy Corrections
AUTHOR AFFIL	Contents	user correction - Legacy Corrections
ABSTRACT	Structural Operational Semantics (SOS) provides a framework to give an operational semantics to programming and specification languages, which, because of its intuitive appeal and flexibility, has found considerable application in the theory of concurrent processes. Even though SOS is widely used in programming language semantics at large, some of its most interesting theoretical developments have taken place within concurrency theory. In particular, SOS has been successfully applied as a formal tool to establish results that hold for whole classes of process description languages. The concept of rule format has played a major role in the development of this general theory of process description languages, and several such formats have been proposed in the research literature. This chapter presents an exposition of existing rule formats, and of the rich body of results that are guaranteed to hold for any process description language whose SOS is within one of these formats. As far as possible, the theory is developed for SOS with features like predicates and negative premises.	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
VENUE	Handbook of Process Algebra	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	197--292	INFERENCE
CITATIONS	25 found	ParsCit 1.0