Topology in Process Calculus

CAD 104,00
+ CAD 13,99 i frakt
  • product image

Topology in Process Calculus

  • Merke: Unbranded
Solgt av:

Topology in Process Calculus

  • Merke: Unbranded

CAD 104,00

På lager
+ CAD 13,99 i frakt

14-dagers returpolicy

Solgt av:

CAD 104,00

På lager
+ CAD 13,99 i frakt

14-dagers returpolicy

Betalingsmåter:

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
  • Merke: Unbranded
  • Kategori: Databehandling & internett
  • Artist: Mingsheng Ying
  • Format: Paperback
  • Forlag / Selskap: Springer
  • Publiseringsdato: 2012/10/28
  • Språk: English
  • Fruugo-ID: 337909069-741568578
  • ISBN: 9781461265221

Leveranse

Sendes i løpet av 4 dager

  • STANDARD: CAD 13,99 - Levering mellom kl tor. 06 august 2026–ons. 12 august 2026

Sendes fra Storbritannia.

Retur

Vi gjør vårt beste for å sikre at produktene du bestiller, leveres til deg i sin helhet og i samsvar med dine spesifikasjoner. Skulle du likevel motta en ufullstendig bestilling eller andre varer enn dem du bestilte, eller hvis du av en eller annen grunn ikke er fornøyd med bestillingen, kan du returnere bestillingen eller enkeltvarer i bestillingen og motta full refusjon for varene.

Se fullstendige retningslinjer for retur