The mobility workbench — A tool for the π-Calculus View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

1994

AUTHORS

Björn Victor , Faron Moller

ABSTRACT

In this paper we describe the first prototype version of the Mobility Work-bench (MWB), an automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described in the π-calculus. The main feature of this version of the MWB is checking open bisimulation equivalences. We illustrate the MWB with an example automated analysis of a handover protocol for a mobile telephone system. More... »

PAGES

428-440

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/3-540-58179-0_73

DOI

http://dx.doi.org/10.1007/3-540-58179-0_73

DIMENSIONS

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


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/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Swedish Institute for Computer Science, Sweden", 
          "id": "http://www.grid.ac/institutes/grid.450998.9", 
          "name": [
            "Dept of Computer Systems, Uppsala University, Box 325, S-751 05, Uppsala, Sweden", 
            "Swedish Institute for Computer Science, Sweden"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Victor", 
        "givenName": "Bj\u00f6rn", 
        "id": "sg:person.016605471747.53", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016605471747.53"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Dept of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh", 
          "id": "http://www.grid.ac/institutes/grid.4305.2", 
          "name": [
            "Dept of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Moller", 
        "givenName": "Faron", 
        "id": "sg:person.010425236217.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "1994", 
    "datePublishedReg": "1994-01-01", 
    "description": "In this paper we describe the first prototype version of the Mobility Work-bench (MWB), an automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described in the \u03c0-calculus. The main feature of this version of the MWB is checking open bisimulation equivalences. We illustrate the MWB with an example automated analysis of a handover protocol for a mobile telephone system.", 
    "editor": [
      {
        "familyName": "Dill", 
        "givenName": "David L.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/3-540-58179-0_73", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-58179-6", 
        "978-3-540-48469-1"
      ], 
      "name": "Computer Aided Verification", 
      "type": "Book"
    }, 
    "keywords": [
      "first prototype version", 
      "Mobility Workbench", 
      "concurrent systems", 
      "handover protocol", 
      "prototype version", 
      "mobile telephone system", 
      "work bench", 
      "telephone system", 
      "bisimulation equivalence", 
      "main features", 
      "workbench", 
      "tool", 
      "system", 
      "version", 
      "manipulating", 
      "calculus", 
      "protocol", 
      "features", 
      "example", 
      "equivalence", 
      "analysis", 
      "paper"
    ], 
    "name": "The mobility workbench \u2014 A tool for the \u03c0-Calculus", 
    "pagination": "428-440", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1041969404"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/3-540-58179-0_73"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/3-540-58179-0_73", 
      "https://app.dimensions.ai/details/publication/pub.1041969404"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-05-20T07:49", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_73.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/3-540-58179-0_73"
  }
]
 

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-58179-0_73'

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-58179-0_73'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/3-540-58179-0_73'

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-58179-0_73'


 

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

93 TRIPLES      23 PREDICATES      48 URIs      41 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/3-540-58179-0_73 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N50b0d59aec4e46be96fa721bd53e4a89
4 schema:datePublished 1994
5 schema:datePublishedReg 1994-01-01
6 schema:description In this paper we describe the first prototype version of the Mobility Work-bench (MWB), an automated tool for manipulating and analyzing mobile concurrent systems (those with evolving connectivity structures) described in the π-calculus. The main feature of this version of the MWB is checking open bisimulation equivalences. We illustrate the MWB with an example automated analysis of a handover protocol for a mobile telephone system.
7 schema:editor N762a3bb3198d478b9322806e1bcfaa60
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N6fc6b1d1cef745a0a3eb0f64e7757d6e
12 schema:keywords Mobility Workbench
13 analysis
14 bisimulation equivalence
15 calculus
16 concurrent systems
17 equivalence
18 example
19 features
20 first prototype version
21 handover protocol
22 main features
23 manipulating
24 mobile telephone system
25 paper
26 protocol
27 prototype version
28 system
29 telephone system
30 tool
31 version
32 work bench
33 workbench
34 schema:name The mobility workbench — A tool for the π-Calculus
35 schema:pagination 428-440
36 schema:productId Nc14686beb49b42cdb03b0fbc4d33ff98
37 Nc69edb16adf0476a9c7ad68e14ededbb
38 schema:publisher Na1088a6a95bc471ab50bb3ce7beda40c
39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041969404
40 https://doi.org/10.1007/3-540-58179-0_73
41 schema:sdDatePublished 2022-05-20T07:49
42 schema:sdLicense https://scigraph.springernature.com/explorer/license/
43 schema:sdPublisher N5aff568ebedf4e02bb74c0eb883b4cb4
44 schema:url https://doi.org/10.1007/3-540-58179-0_73
45 sgo:license sg:explorer/license/
46 sgo:sdDataset chapters
47 rdf:type schema:Chapter
48 N1870c327aaad49d4a889f7a218e79921 schema:familyName Dill
49 schema:givenName David L.
50 rdf:type schema:Person
51 N50b0d59aec4e46be96fa721bd53e4a89 rdf:first sg:person.016605471747.53
52 rdf:rest Ne11deb8e4a19464ea45ad5ac59e357bb
53 N5aff568ebedf4e02bb74c0eb883b4cb4 schema:name Springer Nature - SN SciGraph project
54 rdf:type schema:Organization
55 N6fc6b1d1cef745a0a3eb0f64e7757d6e schema:isbn 978-3-540-48469-1
56 978-3-540-58179-6
57 schema:name Computer Aided Verification
58 rdf:type schema:Book
59 N762a3bb3198d478b9322806e1bcfaa60 rdf:first N1870c327aaad49d4a889f7a218e79921
60 rdf:rest rdf:nil
61 Na1088a6a95bc471ab50bb3ce7beda40c schema:name Springer Nature
62 rdf:type schema:Organisation
63 Nc14686beb49b42cdb03b0fbc4d33ff98 schema:name dimensions_id
64 schema:value pub.1041969404
65 rdf:type schema:PropertyValue
66 Nc69edb16adf0476a9c7ad68e14ededbb schema:name doi
67 schema:value 10.1007/3-540-58179-0_73
68 rdf:type schema:PropertyValue
69 Ne11deb8e4a19464ea45ad5ac59e357bb rdf:first sg:person.010425236217.29
70 rdf:rest rdf:nil
71 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
72 schema:name Information and Computing Sciences
73 rdf:type schema:DefinedTerm
74 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
75 schema:name Artificial Intelligence and Image Processing
76 rdf:type schema:DefinedTerm
77 sg:person.010425236217.29 schema:affiliation grid-institutes:grid.4305.2
78 schema:familyName Moller
79 schema:givenName Faron
80 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010425236217.29
81 rdf:type schema:Person
82 sg:person.016605471747.53 schema:affiliation grid-institutes:grid.450998.9
83 schema:familyName Victor
84 schema:givenName Björn
85 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016605471747.53
86 rdf:type schema:Person
87 grid-institutes:grid.4305.2 schema:alternateName Dept of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh
88 schema:name Dept of Computer Science, University of Edinburgh, The King's Buildings, Edinburgh
89 rdf:type schema:Organization
90 grid-institutes:grid.450998.9 schema:alternateName Swedish Institute for Computer Science, Sweden
91 schema:name Dept of Computer Systems, Uppsala University, Box 325, S-751 05, Uppsala, Sweden
92 Swedish Institute for Computer Science, Sweden
93 rdf:type schema:Organization
 




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


...