David B Benson

Ontology type: schema:Person     

Person Info


David B



Publications in SciGraph latest 50 shown

  • 1990 Defining Fair Merge as a Colimit: Towards a Fixed-Point Theory for Indeterminate Dataflow in SEMANTICS FOR CONCURRENCY
  • 1987 The category of Milner processes is exact in CATEGORY THEORY AND COMPUTER SCIENCE
  • 1986 Fixed points in process algebras with internal actions in MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS
  • 1985-12 The inverse semigroup of a sum-ordered semiring in SEMIGROUP FORUM
  • 1983 Functional behavior of nondeterministic programs in FOUNDATIONS OF COMPUTATION THEORY
  • 1982 A machine-level semantics for nondeterministic, parallel programs in INTERNATIONAL SYMPOSIUM ON PROGRAMMING
  • 1981-12 In Scott-Strachey style denotational semantics, parallelism implies nondeterminism in MATHEMATICAL SYSTEMS THEORY
  • 1977 Parallel decomposition of LR(k) parsers in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 1975 An abstract machine theory for formal language parsers in CATEGORY THEORY APPLIED TO COMPUTATION AND CONTROL
  • 1974-06 An abstract machine theory for formal language parsers in ACTA INFORMATICA
  • 1974-06 Semantic preserving translations in MATHEMATICAL SYSTEMS THEORY
  • Affiliations

    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", 
        "affiliation": [
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.30064.31", 
              "type": "Organization"
            "isCurrent": true, 
            "type": "OrganizationRole"
        "familyName": "Benson", 
        "givenName": "David B", 
        "id": "sg:person.015006706745.00", 
        "sameAs": [
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T13:56", 
        "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_1707.json", 
        "type": "Person"

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


    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.015006706745.00'

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

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

    Turtle is a human-readable linked data format.

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

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

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


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