Categorical Modelling of Structural Operational Rules - Case Studies

Categorical Modelling of Structural Operational Rules - Case Studies (1997)

by Daniele Turi

Citations:

7 - 4 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Categorical Modelling of Structural Operational Rules - Case Studies	user correction - Legacy Corrections
AUTHOR NAME	Daniele Turi	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Laboratory for Foundations of Computer Science	SVM HeaderParse 0.2
AUTHOR ADDR	University of Edinburgh, The King's Buildings	SVM HeaderParse 0.1
ABSTRACT	. This paper aims at substantiating a recently introduced categorical theory of `well-behaved' operational semantics. A variety of concrete examples of structural operational rules is modelled categorically illustrating the versatility and modularity of the theory. Further, a novel functorial notion of guardedness is introduced which allows for a general and formal treatment of guarded recursive programs. Introduction The predominant approach to operational semantics is Plotkin's SOS [13], which is based on structural rules. One finds in the literature various formats of structural rules which guarantee a good behaviour such as having adequate denotational models and behavioural equivalence (eg bisimulation) being a congruence. In [17], it is shown that the rules in the best known of these formats, namely GSOS [5], are in 1-1 correspondence with natural transformations of a suitable type, depending on specific functorial notions of syntax and behaviour. This led to studying abstract ...	user correction - Legacy Corrections
YEAR	1997	user correction - Legacy Corrections
CITATIONS	16 found	ParsCit 1.0