Topology in Process Calculus

€ 69,00
+ € 9,17 Verzending
  • product image

Topology in Process Calculus

  • Merk: Unbranded
Verkocht door:

Topology in Process Calculus

  • Merk: Unbranded

€ 69,00

Op voorraad
+ € 9,17 Verzending

14-dagen retourbeleid

Verkocht door:

€ 69,00

Op voorraad
+ € 9,17 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

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
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Artiest: Mingsheng Ying
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Verschijningsdatum: 2012/10/28
  • Taal: English
  • Fruugo-ID: 337909069-741568578
  • ISBN: 9781461265221

Levering

Verzonden binnen4 dagen

  • STANDARD: € 9,17 - Levering tussen ma 20 juli 2026–do 23 juli 2026

Verzending vanaf Verenigd Koninkrijk.

Retourneren & Annuleren

Retourneren

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen.

Bekijk het volledige retourbeleid

Annuleren

U heeft het recht om uw aankoop binnen 14 dagen na ontvangst van uw bestelling zonder opgave van reden te herroepen. Om eenvoudig van uw recht gebruik te maken, kunt u de link 'Mijn bestelling annuleren' in de voettekst van elke pagina of in uw Fruugo-account onder 'Bestellingen' gebruiken. Zodra u van uw herroepingsrecht gebruikmaakt, sturen wij u een bevestiging per e-mail. Als uw bestelling al door de verkoper is verzonden, zullen wij u de nodige retourinstructies verstrekken om ervoor te zorgen dat uw terugbetaling snel wordt verwerkt.

Bekijk het volledige annuleringsbeleid