Topology in Process Calculus

379,00 RON
+ 27,99 RON Livrare
  • product image

Topology in Process Calculus

  • Marcă: Unbranded
Vândut de:

Topology in Process Calculus

  • Marcă: Unbranded

379,00 RON

În stoc
+ 27,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

379,00 RON

În stoc
+ 27,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Mingsheng Ying
  • Limbă: English
  • Număr de pagini: 220
  • Format: Paperback
  • Data publicării: 2012/10/28
  • Editor / Etichetă: Springer
  • ID Fruugo: 337909069-741568578
  • ISBN: 9781461265221

Livrări şi Returnări

Expediat în 6 zile

  • STANDARD: 27,99 RON - Livrare între mar. 06 ianuarie 2026–vin. 09 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare