Questions marquées «process-algebras»

Similitudes et différences dans les principales algèbres de processus

À ma connaissance, il existe trois grandes algèbres de processus qui ont inspiré une vaste gamme de recherches sur les modèles formels de concurrence. Ceux-ci sont: CCS et -calculus tous les deux par Robin Milnerππ\pi CSP par Tony Hoare et ACP par Jan Bergstra et Jan Willem Klop Tous les …

21 logic concurrency process-algebras

Quand deux simulations ne sont-elles pas une bisimulation?

Étant donné un système de transition étiqueté , où est un ensemble d'états, est un ensemble d'étiquettes et est une relation ternaire. Comme d'habitude, écrivez pour . La transition étiquetée indique que le système dans l'état change d'état en avec l'étiquette , ce qui signifie que est une action observable …

20 programming-languages formal-methods semantics process-algebras

Processus CCS pour un distributeur de boissons avec deux prix différents

Un distributeur de boissons oblige l'utilisateur à insérer une pièce de monnaie ( ), puis appuyez sur l'un des trois boutons: ˉ d tea demande une tasse de thé e tea , idem pour le café, et ˉ r demande un remboursement (c'est-à-dire que la machine rend le pièce: ˉ …

11 logic concurrency modelling process-algebras ccs

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.