Concurrency in Synchronous Systems View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2006-03

AUTHORS

Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste

ABSTRACT

In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems. The independence between various computations can be exploited here to provide communication schemes that do not restrict concurrency while still guaranteeing correctness. Such communication schemes are then lighter and more flexible than their latency-insensitive or endo/isochronous counterparts. More... »

PAGES

111-130

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/s10703-006-7844-8

DOI

http://dx.doi.org/10.1007/s10703-006-7844-8

DIMENSIONS

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


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/0803", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computer Software", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
          "id": "https://www.grid.ac/institutes/grid.420225.3", 
          "name": [
            "IRISA, Campus de Beaulieu, 35042, Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Potop-Butucaru", 
        "givenName": "Dumitru", 
        "id": "sg:person.011677505727.80", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011677505727.80"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
          "id": "https://www.grid.ac/institutes/grid.420225.3", 
          "name": [
            "IRISA, Campus de Beaulieu, 35042, Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Caillaud", 
        "givenName": "Beno\u00eet", 
        "id": "sg:person.015010026051.83", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
          "id": "https://www.grid.ac/institutes/grid.420225.3", 
          "name": [
            "IRISA, Campus de Beaulieu, 35042, Rennes, France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Benveniste", 
        "givenName": "Albert", 
        "id": "sg:person.011174600625.42", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "id": "https://doi.org/10.1016/0167-6423(92)90005-v", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1000026084"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1022858222", 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-55989-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022858222", 
          "https://doi.org/10.1007/978-3-642-55989-1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-55989-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1022858222", 
          "https://doi.org/10.1007/978-3-642-55989-1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0167-6423(87)90035-9", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1028901262"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0890-5401(89)90066-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1031626789"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0898-1221(97)90277-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032879286"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/s0898-1221(97)90277-7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1032879286"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1006/inco.2000.9999", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1037056573"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4757-2231-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048495206", 
          "https://doi.org/10.1007/978-1-4757-2231-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-1-4757-2231-4", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1048495206", 
          "https://doi.org/10.1007/978-1-4757-2231-4"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/43.743711", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061173956"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/43.945302", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061174424"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.97300", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061180434"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/5.97301", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1061180435"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/csd.2004.1309117", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095567566"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://app.dimensions.ai/details/publication/pub.1098909602", 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2006-03", 
    "datePublishedReg": "2006-03-01", 
    "description": "In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems. The independence between various computations can be exploited here to provide communication schemes that do not restrict concurrency while still guaranteeing correctness. Such communication schemes are then lighter and more flexible than their latency-insensitive or endo/isochronous counterparts.", 
    "genre": "research_article", 
    "id": "sg:pub.10.1007/s10703-006-7844-8", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isPartOf": [
      {
        "id": "sg:journal.1052628", 
        "issn": [
          "0925-9856", 
          "1572-8102"
        ], 
        "name": "Formal Methods in System Design", 
        "type": "Periodical"
      }, 
      {
        "issueNumber": "2", 
        "type": "PublicationIssue"
      }, 
      {
        "type": "PublicationVolume", 
        "volumeNumber": "28"
      }
    ], 
    "name": "Concurrency in Synchronous Systems", 
    "pagination": "111-130", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/s10703-006-7844-8"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "72251dcb444a3f6534d960d505cbd77f39fb05e799a6a488a707573a504a5646"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1023959423"
        ]
      }
    ], 
    "sameAs": [
      "https://doi.org/10.1007/s10703-006-7844-8", 
      "https://app.dimensions.ai/details/publication/pub.1023959423"
    ], 
    "sdDataset": "articles", 
    "sdDatePublished": "2019-04-15T09:23", 
    "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/0000000376_0000000376/records_56190_00000001.jsonl", 
    "type": "ScholarlyArticle", 
    "url": "http://link.springer.com/10.1007%2Fs10703-006-7844-8"
  }
]
 

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/s10703-006-7844-8'

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/s10703-006-7844-8'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10703-006-7844-8'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10703-006-7844-8'


 

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

117 TRIPLES      21 PREDICATES      41 URIs      19 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/s10703-006-7844-8 schema:about anzsrc-for:08
2 anzsrc-for:0803
3 schema:author N5b8aed76ab8a46c0b83054f481d21441
4 schema:citation sg:pub.10.1007/978-1-4757-2231-4
5 sg:pub.10.1007/978-3-642-55989-1
6 https://app.dimensions.ai/details/publication/pub.1022858222
7 https://app.dimensions.ai/details/publication/pub.1098909602
8 https://doi.org/10.1006/inco.2000.9999
9 https://doi.org/10.1016/0167-6423(87)90035-9
10 https://doi.org/10.1016/0167-6423(92)90005-v
11 https://doi.org/10.1016/0890-5401(89)90066-7
12 https://doi.org/10.1016/s0898-1221(97)90277-7
13 https://doi.org/10.1109/43.743711
14 https://doi.org/10.1109/43.945302
15 https://doi.org/10.1109/5.97300
16 https://doi.org/10.1109/5.97301
17 https://doi.org/10.1109/csd.2004.1309117
18 schema:datePublished 2006-03
19 schema:datePublishedReg 2006-03-01
20 schema:description In this paper we introduce the notion of weak endochrony, which extends to a synchronous setting the classical theory of Mazurkiewicz traces. The notion is useful in the synthesis of correct-by-construction communication protocols for globally asynchronous, locally synchronous (GALS) systems. The independence between various computations can be exploited here to provide communication schemes that do not restrict concurrency while still guaranteeing correctness. Such communication schemes are then lighter and more flexible than their latency-insensitive or endo/isochronous counterparts.
21 schema:genre research_article
22 schema:inLanguage en
23 schema:isAccessibleForFree true
24 schema:isPartOf N3427587ad1c342a19e40ddde43eda8cb
25 N5b4bd44ada2446df93ceff53558205c5
26 sg:journal.1052628
27 schema:name Concurrency in Synchronous Systems
28 schema:pagination 111-130
29 schema:productId N69ddb7b55e7543478b62185aa31d9db3
30 Nbf1083b55d32416fbb152dc2ed9312c2
31 Ndbf09e41846240029606af35ac8250eb
32 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023959423
33 https://doi.org/10.1007/s10703-006-7844-8
34 schema:sdDatePublished 2019-04-15T09:23
35 schema:sdLicense https://scigraph.springernature.com/explorer/license/
36 schema:sdPublisher N368b5cd463ec4a89badcd186b5c44bba
37 schema:url http://link.springer.com/10.1007%2Fs10703-006-7844-8
38 sgo:license sg:explorer/license/
39 sgo:sdDataset articles
40 rdf:type schema:ScholarlyArticle
41 N3427587ad1c342a19e40ddde43eda8cb schema:volumeNumber 28
42 rdf:type schema:PublicationVolume
43 N3653781e4eda4aaeae0806b998f6d095 rdf:first sg:person.011174600625.42
44 rdf:rest rdf:nil
45 N368b5cd463ec4a89badcd186b5c44bba schema:name Springer Nature - SN SciGraph project
46 rdf:type schema:Organization
47 N5b4bd44ada2446df93ceff53558205c5 schema:issueNumber 2
48 rdf:type schema:PublicationIssue
49 N5b8aed76ab8a46c0b83054f481d21441 rdf:first sg:person.011677505727.80
50 rdf:rest Nc6f92b32635d40619cbee10cd1652005
51 N69ddb7b55e7543478b62185aa31d9db3 schema:name doi
52 schema:value 10.1007/s10703-006-7844-8
53 rdf:type schema:PropertyValue
54 Nbf1083b55d32416fbb152dc2ed9312c2 schema:name dimensions_id
55 schema:value pub.1023959423
56 rdf:type schema:PropertyValue
57 Nc6f92b32635d40619cbee10cd1652005 rdf:first sg:person.015010026051.83
58 rdf:rest N3653781e4eda4aaeae0806b998f6d095
59 Ndbf09e41846240029606af35ac8250eb schema:name readcube_id
60 schema:value 72251dcb444a3f6534d960d505cbd77f39fb05e799a6a488a707573a504a5646
61 rdf:type schema:PropertyValue
62 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
63 schema:name Information and Computing Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
66 schema:name Computer Software
67 rdf:type schema:DefinedTerm
68 sg:journal.1052628 schema:issn 0925-9856
69 1572-8102
70 schema:name Formal Methods in System Design
71 rdf:type schema:Periodical
72 sg:person.011174600625.42 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
73 schema:familyName Benveniste
74 schema:givenName Albert
75 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011174600625.42
76 rdf:type schema:Person
77 sg:person.011677505727.80 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
78 schema:familyName Potop-Butucaru
79 schema:givenName Dumitru
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011677505727.80
81 rdf:type schema:Person
82 sg:person.015010026051.83 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
83 schema:familyName Caillaud
84 schema:givenName Benoît
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015010026051.83
86 rdf:type schema:Person
87 sg:pub.10.1007/978-1-4757-2231-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048495206
88 https://doi.org/10.1007/978-1-4757-2231-4
89 rdf:type schema:CreativeWork
90 sg:pub.10.1007/978-3-642-55989-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022858222
91 https://doi.org/10.1007/978-3-642-55989-1
92 rdf:type schema:CreativeWork
93 https://app.dimensions.ai/details/publication/pub.1022858222 schema:CreativeWork
94 https://app.dimensions.ai/details/publication/pub.1098909602 schema:CreativeWork
95 https://doi.org/10.1006/inco.2000.9999 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037056573
96 rdf:type schema:CreativeWork
97 https://doi.org/10.1016/0167-6423(87)90035-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1028901262
98 rdf:type schema:CreativeWork
99 https://doi.org/10.1016/0167-6423(92)90005-v schema:sameAs https://app.dimensions.ai/details/publication/pub.1000026084
100 rdf:type schema:CreativeWork
101 https://doi.org/10.1016/0890-5401(89)90066-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031626789
102 rdf:type schema:CreativeWork
103 https://doi.org/10.1016/s0898-1221(97)90277-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032879286
104 rdf:type schema:CreativeWork
105 https://doi.org/10.1109/43.743711 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061173956
106 rdf:type schema:CreativeWork
107 https://doi.org/10.1109/43.945302 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061174424
108 rdf:type schema:CreativeWork
109 https://doi.org/10.1109/5.97300 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180434
110 rdf:type schema:CreativeWork
111 https://doi.org/10.1109/5.97301 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061180435
112 rdf:type schema:CreativeWork
113 https://doi.org/10.1109/csd.2004.1309117 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095567566
114 rdf:type schema:CreativeWork
115 https://www.grid.ac/institutes/grid.420225.3 schema:alternateName Institut de Recherche en Informatique et Systèmes Aléatoires
116 schema:name IRISA, Campus de Beaulieu, 35042, Rennes, France
117 rdf:type schema:Organization
 




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


...