Calculs de processus: observations et inspections
| Autor: | Hirschkoff, Daniel |
|---|---|
| Jazyk: | francouzština |
| Rok vydání: | 2009 |
| Předmět: |
[INFO:INFO_LO] Computer Science/Logic in Computer Science
[INFO:INFO_LO] Informatique/Logique en informatique [INFO:INFO_DC] Computer Science/Distributed Parallel and Cluster Computing [INFO:INFO_DC] Informatique/Calcul parallèle distribué et partagé calculs de processus équivalence comportementale système de types preuve formelle coinduction |
| Druh dokumentu: | habilitation ࠤiriger des recherches |
| Popis: | Le document traite du raisonnement sur les processus. Les chapitres principaux sont: - Équivalences comportementales : caractérisation logique, axiomatisation et congruence - Inspections et équivalences intensionnelles - Calculs avec localités |
| Databáze: | Networked Digital Library of Theses & Dissertations |
| Externí odkaz: |
|