Distributive laws for monotone specifications View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

2019-02-22

AUTHORS

Jurriaan Rot

ABSTRACT

Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications—that disallow negative premises—do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation. More... »

PAGES

1-33

Journal

TITLE

Acta Informatica

ISSUE

N/A

VOLUME

N/A

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s00236-019-00333-x

DOI

http://dx.doi.org/10.1007/s00236-019-00333-x

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1112282895


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Law", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/18", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Law and Legal Studies", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Radboud University Nijmegen", 
          "id": "https://www.grid.ac/institutes/grid.5590.9", 
          "name": [
            "Radboud University, Toernooiveld 212, Nijmegen, The Netherlands"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rot", 
        "givenName": "Jurriaan", 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "sg:pub.10.1007/978-3-642-01492-5_1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009175056", 
          "https://doi.org/10.1007/978-3-642-01492-5_1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-04164-8_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009434928", 
          "https://doi.org/10.1007/978-3-642-04164-8_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9780511792588.003", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1009874748"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(03)00378-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013148708"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(03)00378-5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013148708"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1112/blms/7.3.294", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1019202714"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/b978-044482830-9/50021-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024585805"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1145/200836.200876", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025109115"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2011.03.023", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1025837750"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s00236-016-0271-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026324138", 
          "https://doi.org/10.1007/s00236-016-0271-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s00236-016-0271-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1026324138", 
          "https://doi.org/10.1007/s00236-016-0271-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s1571-0661(04)80972-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1029002983"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s1571-0661(04)80908-3", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1030113248"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jlamp.2016.08.005", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1031884062"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s1571-0661(05)80350-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038549006"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2004.07.022", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039663126"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(01)00024-x", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040218106"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.jlamp.2016.08.001", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041379176"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(02)00895-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041510223"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(02)00895-2", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1041510223"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0304-3975(00)00056-6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1051054148"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.160.8", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072355196"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.255.6", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1091464024"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/lics.2008.43", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1093443911"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/lics.1997.614955", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095576195"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9780511600579", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098666404"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9781316823187", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098688425"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1090/conm/104", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098722340"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1017/cbo9780511809088", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1098730623"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2019-02-22", 
    "datePublishedReg": "2019-02-22", 
    "description": "Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications\u2014that disallow negative premises\u2014do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s00236-019-00333-x", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.3793332", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": [
      {
        "id": "sg:journal.1133515", 
        "issn": [
          "0001-5903", 
          "1432-0525"
        ], 
        "name": "Acta Informatica", 
        "type": "Periodical"
      }
    ], 
    "name": "Distributive laws for monotone specifications", 
    "pagination": "1-33", 
    "productId": [
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "ee5ec15e106816cb698f39c6375faeb10eac7d31f401ef880242d590c88674f2"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s00236-019-00333-x"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1112282895"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s00236-019-00333-x", 
      "https://app.dimensions.ai/details/publication/pub.1112282895"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-11T09:37", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000346_0000000346/records_99829_00000005.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "https://link.springer.com/10.1007%2Fs00236-019-00333-x"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s00236-019-00333-x'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s00236-019-00333-x'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s00236-019-00333-x'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s00236-019-00333-x'


 

This table displays all metadata directly associated to this object as RDF triples.

137 TRIPLES      21 PREDICATES      50 URIs      16 LITERALS      5 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s00236-019-00333-x schema:about anzsrc-for:18
2 anzsrc-for:1801
3 schema:author N89d877e1aebb4a3d975c1675f6a11cfb
4 schema:citation sg:pub.10.1007/978-3-642-01492-5_1
5 sg:pub.10.1007/978-3-642-04164-8_7
6 sg:pub.10.1007/s00236-016-0271-4
7 https://doi.org/10.1016/b978-044482830-9/50021-7
8 https://doi.org/10.1016/j.jlamp.2016.08.001
9 https://doi.org/10.1016/j.jlamp.2016.08.005
10 https://doi.org/10.1016/j.tcs.2004.07.022
11 https://doi.org/10.1016/j.tcs.2011.03.023
12 https://doi.org/10.1016/s0304-3975(00)00056-6
13 https://doi.org/10.1016/s0304-3975(01)00024-x
14 https://doi.org/10.1016/s0304-3975(02)00895-2
15 https://doi.org/10.1016/s0304-3975(03)00378-5
16 https://doi.org/10.1016/s1571-0661(04)80908-3
17 https://doi.org/10.1016/s1571-0661(04)80972-1
18 https://doi.org/10.1016/s1571-0661(05)80350-0
19 https://doi.org/10.1017/cbo9780511600579
20 https://doi.org/10.1017/cbo9780511792588.003
21 https://doi.org/10.1017/cbo9780511809088
22 https://doi.org/10.1017/cbo9781316823187
23 https://doi.org/10.1090/conm/104
24 https://doi.org/10.1109/lics.1997.614955
25 https://doi.org/10.1109/lics.2008.43
26 https://doi.org/10.1112/blms/7.3.294
27 https://doi.org/10.1145/200836.200876
28 https://doi.org/10.4204/eptcs.160.8
29 https://doi.org/10.4204/eptcs.255.6
30 schema:datePublished 2019-02-22
31 schema:datePublishedReg 2019-02-22
32 schema:description Turi and Plotkin introduced an elegant approach to structural operational semantics based on universal coalgebra, parametric in the type of syntax and the type of behaviour. Their framework includes abstract GSOS, a categorical generalisation of the classical GSOS rule format, as well as its categorical dual, coGSOS. Both formats are well behaved, in the sense that each specification has a unique model on which behavioural equivalence is a congruence. Unfortunately, the combination of the two formats does not feature these desirable properties. We show that monotone specifications—that disallow negative premises—do induce a canonical distributive law of a monad over a comonad, and therefore a unique, compositional interpretation.
33 schema:genre research_article
34 schema:inLanguage en
35 schema:isAccessibleForFree false
36 schema:isPartOf sg:journal.1133515
37 schema:name Distributive laws for monotone specifications
38 schema:pagination 1-33
39 schema:productId N90af9cfed0fc4c4f857786ae0d9ec35a
40 Nf0f453946a7542c5b67f1604e21cd0b1
41 Nf37f6c874bb6410b9c211efe0ad3a008
42 schema:sameAs https://app.dimensions.ai/details/publication/pub.1112282895
43 https://doi.org/10.1007/s00236-019-00333-x
44 schema:sdDatePublished 2019-04-11T09:37
45 schema:sdLicense https://scigraph.springernature.com/explorer/license/
46 schema:sdPublisher Nc203bb978ce844a2abe4216c0db639f1
47 schema:url https://link.springer.com/10.1007%2Fs00236-019-00333-x
48 sgo:license sg:explorer/license/
49 sgo:sdDataset articles
50 rdf:type schema:ScholarlyArticle
51 N89d877e1aebb4a3d975c1675f6a11cfb rdf:first Nb7049884b10c4c8fa97938af46ca7db7
52 rdf:rest rdf:nil
53 N90af9cfed0fc4c4f857786ae0d9ec35a schema:name doi
54 schema:value 10.1007/s00236-019-00333-x
55 rdf:type schema:PropertyValue
56 Nb7049884b10c4c8fa97938af46ca7db7 schema:affiliation https://www.grid.ac/institutes/grid.5590.9
57 schema:familyName Rot
58 schema:givenName Jurriaan
59 rdf:type schema:Person
60 Nc203bb978ce844a2abe4216c0db639f1 schema:name Springer Nature - SN SciGraph project
61 rdf:type schema:Organization
62 Nf0f453946a7542c5b67f1604e21cd0b1 schema:name readcube_id
63 schema:value ee5ec15e106816cb698f39c6375faeb10eac7d31f401ef880242d590c88674f2
64 rdf:type schema:PropertyValue
65 Nf37f6c874bb6410b9c211efe0ad3a008 schema:name dimensions_id
66 schema:value pub.1112282895
67 rdf:type schema:PropertyValue
68 anzsrc-for:18 schema:inDefinedTermSet anzsrc-for:
69 schema:name Law and Legal Studies
70 rdf:type schema:DefinedTerm
71 anzsrc-for:1801 schema:inDefinedTermSet anzsrc-for:
72 schema:name Law
73 rdf:type schema:DefinedTerm
74 sg:grant.3793332 http://pending.schema.org/fundedItem sg:pub.10.1007/s00236-019-00333-x
75 rdf:type schema:MonetaryGrant
76 sg:journal.1133515 schema:issn 0001-5903
77 1432-0525
78 schema:name Acta Informatica
79 rdf:type schema:Periodical
80 sg:pub.10.1007/978-3-642-01492-5_1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009175056
81 https://doi.org/10.1007/978-3-642-01492-5_1
82 rdf:type schema:CreativeWork
83 sg:pub.10.1007/978-3-642-04164-8_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009434928
84 https://doi.org/10.1007/978-3-642-04164-8_7
85 rdf:type schema:CreativeWork
86 sg:pub.10.1007/s00236-016-0271-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026324138
87 https://doi.org/10.1007/s00236-016-0271-4
88 rdf:type schema:CreativeWork
89 https://doi.org/10.1016/b978-044482830-9/50021-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024585805
90 rdf:type schema:CreativeWork
91 https://doi.org/10.1016/j.jlamp.2016.08.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041379176
92 rdf:type schema:CreativeWork
93 https://doi.org/10.1016/j.jlamp.2016.08.005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031884062
94 rdf:type schema:CreativeWork
95 https://doi.org/10.1016/j.tcs.2004.07.022 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039663126
96 rdf:type schema:CreativeWork
97 https://doi.org/10.1016/j.tcs.2011.03.023 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025837750
98 rdf:type schema:CreativeWork
99 https://doi.org/10.1016/s0304-3975(00)00056-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051054148
100 rdf:type schema:CreativeWork
101 https://doi.org/10.1016/s0304-3975(01)00024-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1040218106
102 rdf:type schema:CreativeWork
103 https://doi.org/10.1016/s0304-3975(02)00895-2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041510223
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1016/s0304-3975(03)00378-5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013148708
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1016/s1571-0661(04)80908-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030113248
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1016/s1571-0661(04)80972-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1029002983
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1016/s1571-0661(05)80350-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038549006
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1017/cbo9780511600579 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098666404
114 rdf:type schema:CreativeWork
115 https://doi.org/10.1017/cbo9780511792588.003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009874748
116 rdf:type schema:CreativeWork
117 https://doi.org/10.1017/cbo9780511809088 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098730623
118 rdf:type schema:CreativeWork
119 https://doi.org/10.1017/cbo9781316823187 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098688425
120 rdf:type schema:CreativeWork
121 https://doi.org/10.1090/conm/104 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098722340
122 rdf:type schema:CreativeWork
123 https://doi.org/10.1109/lics.1997.614955 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095576195
124 rdf:type schema:CreativeWork
125 https://doi.org/10.1109/lics.2008.43 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093443911
126 rdf:type schema:CreativeWork
127 https://doi.org/10.1112/blms/7.3.294 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019202714
128 rdf:type schema:CreativeWork
129 https://doi.org/10.1145/200836.200876 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025109115
130 rdf:type schema:CreativeWork
131 https://doi.org/10.4204/eptcs.160.8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072355196
132 rdf:type schema:CreativeWork
133 https://doi.org/10.4204/eptcs.255.6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091464024
134 rdf:type schema:CreativeWork
135 https://www.grid.ac/institutes/grid.5590.9 schema:alternateName Radboud University Nijmegen
136 schema:name Radboud University, Toernooiveld 212, Nijmegen, The Netherlands
137 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...