Topology in Process Calculus

599,00 DKK
+ 65,49 DKK Levering
  • product image

Topology in Process Calculus

  • Brand: Unbranded
Sоlgt af:

Topology in Process Calculus

  • Brand: Unbranded

599,00 DKK

På lager
+ 65,49 DKK Levering

14-dages returpolitik

Sоlgt af:

599,00 DKK

På lager
+ 65,49 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

Topology in Process Calculus

1 Introduction. - 2 Process Calculus. - 2. 1 Transition Systems. - 2. 2 Hennessy-Mi lner Logic. - 2. 3 Basic Language. - 2. 4 Transitional Semantics. - 2. 5 Strong Bisimulations. - 2. 6 Bisimulations. - 3 Bisimulation and Trace Limits of Agents 37. - 3. 1 Strong Bisimulat ion Limits. - 3. 2 *-Strong Bisi mulation Limits. - 3. 3 Bisimulati on Limits. - 3. 4 Trace Limits. - 4 Limit Behavior of Agents. - 4. 1 Modifications of Topologies on Actions. - 4. 2 Topologies on Agents. - 4. 3 Several Limit Theorems. - 5 Near Bisimulations Defined by Closures. - 5. 1 Near Bisimulations in Transition Systems. - 5. 2 Near Strong Bisimulations. - 5. 3 Near (Weak) Bisimulations. - 6 Bisimulation Indexes Induced by Metrics on Actions. - 6. 1 Bisimulation Indexes in Transition Systems. - 6. 2 Hennessy-Milner Logical Characterization of Bisimulation Indexes. - 6. 3 Strong Bisimulation Indexes. - 6. 4 (Weak) Bisimulation Indexes. - 6. 5 Approximate Communication. - 6. 6 Some Applications: Two Examples in Timed CCS. - 6. 7 Some Appli cations: An Example in Real Time ACP. - 7 Conclusion. - References. Language: English
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2012/10/28
  • Kunstner: Mingsheng Ying
  • Sprog: English
  • Antal sider: 220
  • Fruugo ID: 337909069-741568578
  • ISBN: 9781461265221

Levering og returnering

Sendt inden for 4 dage

  • STANDARD: 65,49 DKK - Levering mellem kl man. 16 marts 2026–tor. 19 marts 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik