CCS — and its relationship to net theory View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

1987

AUTHORS

Mogens Nielsen

ABSTRACT

In this paper we give a short introduction to Milner's Calculus for Communicating Systems — a paradigm for concurrent computation. We put special emphasis on the basic concepts and tools from the underlying "algebraic approach", and their relationship to the approach to concurrency within net theory. Furthermore, we provide an operational version of the language CCS with "true concurrency" in the sense of net theory, and a discussion of the possible use of such a marriage of the two theories of concurrency. More... »

PAGES

393-415

Book

TITLE

Petri Nets: Applications and Relationships to Other Models of Concurrency

ISBN

978-3-540-17906-1
978-3-540-47926-0

Author Affiliations

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-17906-2_32

DOI

http://dx.doi.org/10.1007/3-540-17906-2_32

DIMENSIONS

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


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/0101", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Pure Mathematics", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Mathematical Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Aarhus University", 
          "id": "https://www.grid.ac/institutes/grid.7048.b", 
          "name": [
            "Computer Science Department, Aarhus University, DK-8000\u00a0Aarhus C, Denmark"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Nielsen", 
        "givenName": "Mogens", 
        "id": "sg:person.013561017773.98", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013561017773.98"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1987", 
    "datePublishedReg": "1987-01-01", 
    "description": "In this paper we give a short introduction to Milner's Calculus for Communicating Systems \u2014 a paradigm for concurrent computation. We put special emphasis on the basic concepts and tools from the underlying \"algebraic approach\", and their relationship to the approach to concurrency within net theory. Furthermore, we provide an operational version of the language CCS with \"true concurrency\" in the sense of net theory, and a discussion of the possible use of such a marriage of the two theories of concurrency.", 
    "editor": [
      {
        "familyName": "Brauer", 
        "givenName": "W.", 
        "type": "Person"
      }, 
      {
        "familyName": "Reisig", 
        "givenName": "W.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rozenberg", 
        "givenName": "G.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-17906-2_32", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-540-17906-1", 
        "978-3-540-47926-0"
      ], 
      "name": "Petri Nets: Applications and Relationships to Other Models of Concurrency", 
      "type": "Book"
    }, 
    "name": "CCS \u2014 and its relationship to net theory", 
    "pagination": "393-415", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-17906-2_32"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "224509a5b97903761d7916de0750d23bba3dbb58db5e7708ef94ab27d141d847"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1007194712"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-17906-2_32", 
      "https://app.dimensions.ai/details/publication/pub.1007194712"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T20:46", 
    "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/0000000001_0000000264/records_8690_00000012.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/3-540-17906-2_32"
  }
]
 

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/3-540-17906-2_32'

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/3-540-17906-2_32'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-17906-2_32'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/3-540-17906-2_32'


 

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

75 TRIPLES      22 PREDICATES      27 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-17906-2_32 schema:about anzsrc-for:01
2 anzsrc-for:0101
3 schema:author N118eea973658410f8837e625b15f4b44
4 schema:datePublished 1987
5 schema:datePublishedReg 1987-01-01
6 schema:description In this paper we give a short introduction to Milner's Calculus for Communicating Systems — a paradigm for concurrent computation. We put special emphasis on the basic concepts and tools from the underlying "algebraic approach", and their relationship to the approach to concurrency within net theory. Furthermore, we provide an operational version of the language CCS with "true concurrency" in the sense of net theory, and a discussion of the possible use of such a marriage of the two theories of concurrency.
7 schema:editor N36d5d4eed3924f10949f1f7a7f7e31c9
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N62853fdc80904c18900960e6a7fa7664
12 schema:name CCS — and its relationship to net theory
13 schema:pagination 393-415
14 schema:productId N3c3a3c862cac4d1cb7d7ad5ce0377354
15 Nd69e82b7c7914ea2a4a26f4a54331b27
16 Ne3f4decc8cf44220a97c50674434a7fa
17 schema:publisher N2642333db6bf476c80ce7876cb20a2df
18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007194712
19 https://doi.org/10.1007/3-540-17906-2_32
20 schema:sdDatePublished 2019-04-15T20:46
21 schema:sdLicense https://scigraph.springernature.com/explorer/license/
22 schema:sdPublisher Nee1ec40a981841adb63515336c6216f9
23 schema:url http://link.springer.com/10.1007/3-540-17906-2_32
24 sgo:license sg:explorer/license/
25 sgo:sdDataset chapters
26 rdf:type schema:Chapter
27 N0374891f4e704e07aa7bd5a9206759e5 schema:familyName Reisig
28 schema:givenName W.
29 rdf:type schema:Person
30 N118eea973658410f8837e625b15f4b44 rdf:first sg:person.013561017773.98
31 rdf:rest rdf:nil
32 N2642333db6bf476c80ce7876cb20a2df schema:location Berlin, Heidelberg
33 schema:name Springer Berlin Heidelberg
34 rdf:type schema:Organisation
35 N36d5d4eed3924f10949f1f7a7f7e31c9 rdf:first N6447094178ac4349a05dc75b48bec497
36 rdf:rest Ne5a85fd7d75743d09246ea201fdf9ad7
37 N3c3a3c862cac4d1cb7d7ad5ce0377354 schema:name readcube_id
38 schema:value 224509a5b97903761d7916de0750d23bba3dbb58db5e7708ef94ab27d141d847
39 rdf:type schema:PropertyValue
40 N3c9f37d4927d49bca69ee2b598174214 rdf:first N817e56910e224320b079d42f34c03801
41 rdf:rest rdf:nil
42 N62853fdc80904c18900960e6a7fa7664 schema:isbn 978-3-540-17906-1
43 978-3-540-47926-0
44 schema:name Petri Nets: Applications and Relationships to Other Models of Concurrency
45 rdf:type schema:Book
46 N6447094178ac4349a05dc75b48bec497 schema:familyName Brauer
47 schema:givenName W.
48 rdf:type schema:Person
49 N817e56910e224320b079d42f34c03801 schema:familyName Rozenberg
50 schema:givenName G.
51 rdf:type schema:Person
52 Nd69e82b7c7914ea2a4a26f4a54331b27 schema:name dimensions_id
53 schema:value pub.1007194712
54 rdf:type schema:PropertyValue
55 Ne3f4decc8cf44220a97c50674434a7fa schema:name doi
56 schema:value 10.1007/3-540-17906-2_32
57 rdf:type schema:PropertyValue
58 Ne5a85fd7d75743d09246ea201fdf9ad7 rdf:first N0374891f4e704e07aa7bd5a9206759e5
59 rdf:rest N3c9f37d4927d49bca69ee2b598174214
60 Nee1ec40a981841adb63515336c6216f9 schema:name Springer Nature - SN SciGraph project
61 rdf:type schema:Organization
62 anzsrc-for:01 schema:inDefinedTermSet anzsrc-for:
63 schema:name Mathematical Sciences
64 rdf:type schema:DefinedTerm
65 anzsrc-for:0101 schema:inDefinedTermSet anzsrc-for:
66 schema:name Pure Mathematics
67 rdf:type schema:DefinedTerm
68 sg:person.013561017773.98 schema:affiliation https://www.grid.ac/institutes/grid.7048.b
69 schema:familyName Nielsen
70 schema:givenName Mogens
71 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013561017773.98
72 rdf:type schema:Person
73 https://www.grid.ac/institutes/grid.7048.b schema:alternateName Aarhus University
74 schema:name Computer Science Department, Aarhus University, DK-8000 Aarhus C, Denmark
75 rdf:type schema:Organization
 




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


...