À 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 trois...
É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...
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: ˉ b ). Ce distributeur peut être...