Michael William Shields


Ontology type: schema:Person     


Person Info

NAME

Michael William

SURNAME

Shields

Publications in SciGraph latest 50 shown

  • 1990 A Denotational Semantics for Synchronous and Asynchronous Behavior with Multiform Time in SEMANTICS FOR CONCURRENCY
  • 1990 A General Tableau Technique for Verifying Temporal Properties of Concurrent Programs in SEMANTICS FOR CONCURRENCY
  • 1990 Experimenting with Process Equivalence in SEMANTICS FOR CONCURRENCY
  • 1990 Defining Fair Merge as a Colimit: Towards a Fixed-Point Theory for Indeterminate Dataflow in SEMANTICS FOR CONCURRENCY
  • 1990 Formalizing the Behaviour of Parallel Object-Based Systems by Petri Nets in SEMANTICS FOR CONCURRENCY
  • 1990 Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints in SEMANTICS FOR CONCURRENCY
  • 1990 Towards a Theory of Parallel Algorithms on Concrete Data Structures in SEMANTICS FOR CONCURRENCY
  • 1990 High Level Distributed Transition Systems in SEMANTICS FOR CONCURRENCY
  • 1990 From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic in SEMANTICS FOR CONCURRENCY
  • 1990 Modelling Reactive Hardware Processes Using Partial Orders in SEMANTICS FOR CONCURRENCY
  • 1990 High-Level Nets For Dynamic Dining Philosophers Systems in SEMANTICS FOR CONCURRENCY
  • 1990 Causal Automata I: Confluence ≡ {AND, OR} Causality in SEMANTICS FOR CONCURRENCY
  • 1990 A Simple Generalization of Kahn’s Principle to Indeterminate Dataflow Networks in SEMANTICS FOR CONCURRENCY
  • 1990 Defining Conditional Independence Using Collapses in SEMANTICS FOR CONCURRENCY
  • 1990 Iteration Theories of Synchronization Trees in SEMANTICS FOR CONCURRENCY
  • 1990 Approaching a Real-Timed Concurrency Theory in SEMANTICS FOR CONCURRENCY
  • 1990 A Compositional Axiomatisation of Safety and Liveness Properties for Statecharts in SEMANTICS FOR CONCURRENCY
  • 1990 Traps, Free Choice and Home States in SEMANTICS FOR CONCURRENCY
  • 1990 Timed Concurrent Processes in SEMANTICS FOR CONCURRENCY
  • 1990 On Global-Time and Inter-process Communication in SEMANTICS FOR CONCURRENCY
  • 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", 
        "familyName": "Shields", 
        "givenName": "Michael William", 
        "id": "sg:person.07465425675.46", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07465425675.46"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:58", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1745.json", 
        "type": "Person"
      }
    ]
     

    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/person.07465425675.46'

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

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.07465425675.46'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.07465425675.46'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.07465425675.46'


     

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

    11 TRIPLES      9 PREDICATES      10 URIs      6 LITERALS      1 BLANK NODES

    Subject Predicate Object
    1 sg:person.07465425675.46 schema:familyName Shields
    2 schema:givenName Michael William
    3 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07465425675.46
    4 schema:sdDatePublished 2019-03-07T13:58
    5 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    6 schema:sdPublisher Nffeec9f0caf84695a130051b0cd6362a
    7 sgo:license sg:explorer/license/
    8 sgo:sdDataset persons
    9 rdf:type schema:Person
    10 Nffeec9f0caf84695a130051b0cd6362a schema:name Springer Nature - SN SciGraph project
    11 rdf:type schema:Organization
     




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


    ...