Automatically assigned DDC number: 004015113
Manually assigned DDC number: 004015113

Number of references: 8

Title: Towards a Mathematical Operational Semantics

Author:

Author:

Subject: Daniele Turi,Gordon Plotkin Towards a Mathematical Operational Semantics

Description: We present a categorical theory of `well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial notions of syntax and behaviour, then one gets both an operational model and a canonical, internally fully abstract denotational model for free; moreover, both models satisfy the operational rules. The theory is based on distributive laws and bialgebras; it specialises to the known classes of well-behaved rules for structural operational semantics, such as GSOS.

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 1997-04-23

Pubyear: 1997

Format: ps

Identifier: http://citeseer.ist.psu.edu/150326.html

Source: http://www.dcs.ed.ac.uk/home/dt/lics97.ps

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml version="1.0" encoding="UTF-8"?>

<references_metadata>

<rec ID="/258052.html" Type="inproceedings" CiteSeer_Book="MFPS" CiteSeer_Volume="" Title="Final Universes of Processes,">

<identifier Org="ISBN:0818679263" Paper_ID="/258052.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:354043075X" Paper_ID="/258052.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.3333333333333333" />

<identifier Org="ISBN:3540580271" Paper_ID="/258052.html" Extracted="3540580271" />

<identifier Org="ISBN:3540629637" Paper_ID="/258052.html" Extracted="3540629637" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.3333333333333333" />

</rec>

<rec ID="/111338.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="Bisimulation and open maps,">

<identifier Org="ISBN:0198537808" Paper_ID="/111338.html" Extracted="0198537808" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0780336542" Paper_ID="/111338.html" Extracted="0780336542" />

<identifier Org="ISBN:0818631406" Paper_ID="/111338.html" Extracted="0818631406" />

<identifier Org="ISBN:3540006222" Paper_ID="/111338.html" Extracted="3540006222" />

<identifier Org="ISBN:3540208135" Paper_ID="/111338.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:354022940X" Paper_ID="/111338.html" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540424873" Paper_ID="/111338.html" Extracted="3540424873" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540440437" Paper_ID="/111338.html" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540581316" Paper_ID="/111338.html" Extracted="3540581316" />

<identifier Org="ISBN:3540583297" Paper_ID="/111338.html" Extracted="3540583297" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540600434" Paper_ID="/111338.html" Extracted="3540600434" DDC="005.1/01/512" Normalized_DDC="005101512" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540601643" Paper_ID="/111338.html" Extracted="3540601643" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540642994" Paper_ID="/111338.html" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540647813" Paper_ID="/111338.html" Extracted="3540647813" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540648275" Paper_ID="/111338.html" Extracted="3540648275" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540652604" Paper_ID="/111338.html" Extracted="3540652604" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540678239" Paper_ID="/111338.html" Extracted="3540678239" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540731954" Paper_ID="/111338.html" Extracted="3540731954" DDC="004.6/2" Normalized_DDC="00462" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540739394" Paper_ID="/111338.html" Extracted="3540739394" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

</rec>

<rec ID="/275677.html" Type="inproceedings" CiteSeer_Book="Category Theory and Computer Science" CiteSeer_Volume="" Title="A Category-Theoretic Account of Program Modules,">

<identifier Org="ISBN:019853762X" Paper_ID="/275677.html" Extracted="019853762X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />

<identifier Org="ISBN:0262570955" Paper_ID="/275677.html" Extracted="0262570955" />

<identifier Org="ISBN:0262660717" Paper_ID="/275677.html" Extracted="0262660717" />

<identifier Org="ISBN:0387575782" Paper_ID="/275677.html" Extracted="0387575782" />

<identifier Org="ISBN:0521580579" Paper_ID="/275677.html" Extracted="0521580579" />

<identifier Org="ISBN:0521771641" Paper_ID="/275677.html" Extracted="0521771641" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.125" />

<identifier Org="ISBN:0818663103" Paper_ID="/275677.html" Extracted="0818663103" />

<identifier Org="ISBN:0818679263" Paper_ID="/275677.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.125" />

<identifier Org="ISBN:0821860186" Paper_ID="/275677.html" Extracted="0821860186" DDC="512/.55" Normalized_DDC="51255" Normalized_Weight="0.125" />

<identifier Org="ISBN:354051662X" Paper_ID="/275677.html" Extracted="354051662X" />

<identifier Org="ISBN:3540543457" Paper_ID="/275677.html" Extracted="3540543457" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540552537" Paper_ID="/275677.html" Extracted="3540552537" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540569928" Paper_ID="/275677.html" Extracted="3540569928" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540626883" Paper_ID="/275677.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.125" />

<identifier Org="ISBN:3540789456" Paper_ID="/275677.html" Extracted="3540789456" />

</rec>

<rec ID="/720939.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="{A Structural Approach to Operational Semantics},">

<identifier Org="ISBN:0521631688" Paper_ID="/720939.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540160426" Paper_ID="/720939.html" Extracted="3540160426" />

<identifier Org="ISBN:3540223819" Paper_ID="/720939.html" Extracted="3540223819" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540253882" Paper_ID="/720939.html" Extracted="3540253882" DDC="004" Normalized_DDC="004" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540283722" Paper_ID="/720939.html" Extracted="3540283722" />

<identifier Org="ISBN:3540408142" Paper_ID="/720939.html" Extracted="3540408142" />

<identifier Org="ISBN:3540426671" Paper_ID="/720939.html" Extracted="3540426671" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:354043075X" Paper_ID="/720939.html" Extracted="354043075X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540440445" Paper_ID="/720939.html" Extracted="3540440445" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540441441" Paper_ID="/720939.html" Extracted="3540441441" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540505806" Paper_ID="/720939.html" Extracted="3540505806" />

<identifier Org="ISBN:3540548343" Paper_ID="/720939.html" Extracted="3540548343" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540580271" Paper_ID="/720939.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540580433" Paper_ID="/720939.html" Extracted="3540580433" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540617396" Paper_ID="/720939.html" Extracted="3540617396" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540657185" Paper_ID="/720939.html" Extracted="3540657185" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540664084" Paper_ID="/720939.html" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.07142857142857142" />

<identifier Org="ISBN:3540677151" Paper_ID="/720939.html" Extracted="3540677151" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />

</rec>

<rec ID="/443936.html" Type="incollection" CiteSeer_Book="176" CiteSeer_Volume="" Title="Initial algebra and final coalgebra semantics for concurrency.,">

<identifier Org="ISBN:0444828303" Paper_ID="/443936.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:0521543274" Paper_ID="/443936.html" Extracted="0521543274" DDC="515" Normalized_DDC="515" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:0546661351" Paper_ID="/443936.html" Extracted="0546661351" />

<identifier Org="ISBN:0818679263" Paper_ID="/443936.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:1852332018" Paper_ID="/443936.html" Extracted="1852332018" DDC="629.45" Normalized_DDC="62945" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540407537" Paper_ID="/443936.html" Extracted="3540407537" />

<identifier Org="ISBN:3540580433" Paper_ID="/443936.html" Extracted="3540580433" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540601643" Paper_ID="/443936.html" Extracted="3540601643" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540610642" Paper_ID="/443936.html" Extracted="3540610642" />

<identifier Org="ISBN:354061463X" Paper_ID="/443936.html" Extracted="354061463X" DDC="005.1/2/015113" Normalized_DDC="00512015113" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3540616292" Paper_ID="/443936.html" Extracted="3540616292" DDC="005.7/3" Normalized_DDC="00573" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:354063455X" Paper_ID="/443936.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.1111111111111111" />

<identifier Org="ISBN:3831112495" Paper_ID="/443936.html" Extracted="3831112495" />

<identifier Org="ISBN:9031319791" Paper_ID="/443936.html" Extracted="9031319791" />

</rec>

<rec ID="/68232.html" Type="inproceedings" CiteSeer_Book="Logic in Computer Science" CiteSeer_Volume="" Title="Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary {GSOS},">

<identifier Org="ISBN:0444828303" Paper_ID="/68232.html" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:078032563X" Paper_ID="/68232.html" Extracted="078032563X" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:0818679263" Paper_ID="/68232.html" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:1402012705" Paper_ID="/68232.html" Extracted="1402012705" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540221646" Paper_ID="/68232.html" Extracted="3540221646" DDC="005.131" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540418652" Paper_ID="/68232.html" Extracted="3540418652" DDC="004.2/11" Normalized_DDC="004211" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:354043366X" Paper_ID="/68232.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540602186" Paper_ID="/68232.html" Extracted="3540602186" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540654933" Paper_ID="/68232.html" Extracted="3540654933" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540671021" Paper_ID="/68232.html" Extracted="3540671021" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.09090909090909091" />

<identifier Org="ISBN:3540787682" Paper_ID="/68232.html" Extracted="3540787682" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />

</rec>

<rec ID="/232160.html" Type="inproceedings" CiteSeer_Book="Category Theory and Computer Science" CiteSeer_Volume="" Title="Categorical Modelling of Structural Operational Rules: Case Studies,">

<identifier Org="ISBN:0818679263" Paper_ID="/232160.html" Extracted="0818679263" />

<identifier Org="ISBN:354063455X" Paper_ID="/232160.html" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="1.0" />

</rec>

<rec ID="/459193.html" Type="incollection" CiteSeer_Book="Handbook of Logic in Computer Science" CiteSeer_Volume="" Title="Models for Concurrency,">

<identifier Org="ISBN:0198537808" Paper_ID="/459193.html" Extracted="0198537808" DDC="004" Normalized_DDC="004" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0309075688" Paper_ID="/459193.html" Extracted="0309075688" DDC="004.6/16" Normalized_DDC="004616" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:038751080X" Paper_ID="/459193.html" Extracted="038751080X" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:0821805797" Paper_ID="/459193.html" Extracted="0821805797" DDC="005.2/76" Normalized_DDC="005276" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540156704" Paper_ID="/459193.html" Extracted="3540156704" />

<identifier Org="ISBN:3540525904" Paper_ID="/459193.html" Extracted="3540525904" DDC="511/.5" Normalized_DDC="5115" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540543457" Paper_ID="/459193.html" Extracted="3540543457" DDC="004.01/51" Normalized_DDC="0040151" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540544305" Paper_ID="/459193.html" Extracted="3540544305" />

<identifier Org="ISBN:3540544771" Paper_ID="/459193.html" Extracted="3540544771" DDC="621.381/5" Normalized_DDC="6213815" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540551794" Paper_ID="/459193.html" Extracted="3540551794" DDC="511.3/0285" Normalized_DDC="51130285" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540558225" Paper_ID="/459193.html" Extracted="3540558225" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540562877" Paper_ID="/459193.html" Extracted="3540562877" DDC="005" Normalized_DDC="005" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540566899" Paper_ID="/459193.html" Extracted="3540566899" DDC="511.5" Normalized_DDC="5115" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540572082" Paper_ID="/459193.html" Extracted="3540572082" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540616047" Paper_ID="/459193.html" Extracted="3540616047" />

<identifier Org="ISBN:3540631720" Paper_ID="/459193.html" Extracted="3540631720" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540653066" Paper_ID="/459193.html" Extracted="3540653066" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:3540654623" Paper_ID="/459193.html" Extracted="3540654623" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.06666666666666667" />

<identifier Org="ISBN:905699199X" Paper_ID="/459193.html" Extracted="905699199X" />

</rec>

<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="Towards a Mathematical Operational Semantics">

<identifier Org="ISBN:044450396X" Paper_ID="SELF" Extracted="044450396X" DDC="512" Normalized_DDC="512" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0444828303" Paper_ID="SELF" Extracted="0444828303" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:0818679263" Paper_ID="SELF" Extracted="0818679263" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354022940X" Paper_ID="SELF" Extracted="354022940X" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540286209" Paper_ID="SELF" Extracted="3540286209" DDC="004.01/512" Normalized_DDC="00401512" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540407537" Paper_ID="SELF" Extracted="3540407537" DDC="004.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540416552" Paper_ID="SELF" Extracted="3540416552" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354043366X" Paper_ID="SELF" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540438645" Paper_ID="SELF" Extracted="3540438645" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540440437" Paper_ID="SELF" Extracted="3540440437" DDC="004/.35" Normalized_DDC="00435" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:354063455X" Paper_ID="SELF" Extracted="354063455X" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540642994" Paper_ID="SELF" Extracted="3540642994" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540664084" Paper_ID="SELF" Extracted="3540664084" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540664122" Paper_ID="SELF" Extracted="3540664122" DDC="004" Normalized_DDC="004" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540678972" Paper_ID="SELF" Extracted="3540678972" DDC="001.64" Normalized_DDC="00164" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540679014" Paper_ID="SELF" Extracted="3540679014" DDC="004.0151" Normalized_DDC="0040151" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540686762" Paper_ID="SELF" Extracted="3540686762" />

<identifier Org="ISBN:3540784977" Paper_ID="SELF" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.058823529411764705" />

<identifier Org="ISBN:3540874046" Paper_ID="SELF" Extracted="3540874046" />

</rec>

</references_metadata>