Cover Image

Algebraic theory for true concurrency /

Bibliographic Details
Main Author: Wang, Yong
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Published: London ; San Diego, CA : Academic Press, an imprint of Elsevier, [2023]
Subjects:
Parallel processing (Electronic computers) > Mathematics.
Computer multitasking > Mathematics.
Algebraic number theory.
Parallélisme (Informatique) > Mathématiques.
Fonctionnement multitâche > Mathématiques.
Théorie algébrique des nombres.
Algebraic number theory
Parallel processing (Electronic computers) > Mathematics
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • 5.1.3 Properties of transitions
  • 5.2 Strongly truly concurrent bisimilarities
  • 5.2.1 Basic definitions
  • 5.2.2 Laws and congruence
  • 5.2.3 Recursion
  • 5.3 Algebraic theory
  • 5.4 Conclusions
  • 6 Guards
  • 6.1 Operational semantics
  • 6.2 BATC with guards
  • 6.3 APTC with guards
  • 6.4 Recursion
  • 6.5 Abstraction
  • 6.6 Hoare logic for APTCG
  • 6.7 Conclusions
  • References
  • Index
  • Back Cover.