rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Truly concurrent process algebra with localities
  name:
    name part: Wang, Yong
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: mau
    date issued: 2024
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource
  abstract: Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of localities in truly concurrent process algebras, such as Calculus for True Concurrency (CTC), which is a generalization of CCS for true concurrency, Algebra of Parallelism for True Concurrency (APTC), which is a generalization of ACP for true concurrency, and ? Calculus for True Concurrency (?). Together, these approaches capture the so-called true concurrency based on truly concurrent bisimilarities, such as pomset bisimilarity, step bisimilarity, history-preserving (hp-) bisimilarity and hereditary history-preserving (hhp-) bisimilarity. This book provides readers with all aspects of algebraic theory for localities, including the basis of semantics, calculi for static localities, axiomatization for static localities, as well as calculi for dynamic localities and axiomatization for dynamic localities. Introduces algebraic properties and laws for localities, one of the important concepts of software engineering for concurrent computing systems Discusses algebraic theory for static localities and dynamic localities, including the basis of semantics, calculi, and axiomatization Presents all aspects of localities in truly concurrent process algebras, including Calculus for True Concurrency (CTC), Algebra of Parallelism for True Concurrency (APTC), and Process Calculus for True Concurrency (?).
  note: Yong Wang.
  subject:
    topic: Computer multitasking
    topic: Mathematics
  subject:
    topic: Algebra
  subject:
    topic: Fonctionnement multitâche
    topic: Mathématiques
  subject:
    topic: Algèbre
  subject:
    topic: algebra
  classification: QA76.6 .W36 2024
  classification: 005.4/34
  identifier: 9780443330698
  identifier: 0443330697
  identifier: 9780443330698 O'Reilly Media
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: YDX
    record creation date: 240825
    record change date: 20260327180330.0
    record identifier: in00005773682
    language of cataloging:
      language term: eng