Domande taggate «process-algebras»

Somiglianze e differenze nelle principali algebre di processo

Per quanto ne so, ci sono tre principali algebre di processo che hanno ispirato una vasta gamma di ricerche su modelli formali di concorrenza. Questi sono: CCS e -calculus entrambi di Robin Milnerππ\pi CSP di Tony Hoare e ACP di Jan Bergstra e Jan Willem Klop Oggi tutti e tre …

21 logic concurrency process-algebras

Quando due simulazioni non sono una bisimulazione?

Dato un sistema di transizione etichettato , dove S è un insieme di stati, Λ è un insieme di etichette e → ⊆ S × Λ × S è una relazione ternaria. Come al solito, scrivi p α → q per ( p , α , q ) ∈ → …

20 programming-languages formal-methods semantics process-algebras

Processo CCS per un distributore di bevande con due prezzi diversi

Un distributore di bevande richiede all'utente di inserire una moneta ( ), quindi premere uno dei tre pulsanti: richiede una tazza di tè , idem per il caffè e richiede un rimborso (ovvero la macchina restituisce la moneta: ). Questo distributore può essere modellato mediante il seguente processo CCS :ˉ …

11 logic concurrency modelling process-algebras ccs

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.