Topology in Process Calculus

774,00 kr
+ 91,99 kr Leverans
  • product image

Topology in Process Calculus

  • Märke: Unbranded
Säljs av:

Topology in Process Calculus

  • Märke: Unbranded

774,00 kr

I lager
+ 91,99 kr Leverans

14-dagars returpolicy

Säljs av:

774,00 kr

I lager
+ 91,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Mingsheng Ying
  • Format: Paperback
  • Publiceringsdatum: 2012/10/28
  • Sidantal: 220
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337909069-741568578
  • ISBN: 9781461265221

Leverans och returer

Skickas inom 4 dagar

  • STANDARD: 91,99 kr - Leverans mellan kl mån 06 april 2026–tors 09 april 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy