«process-algebras» etiketlenmiş sorular

Bildiğim kadarıyla, resmi eşzamanlılık modelleri hakkında geniş bir araştırma yelpazesine ilham veren üç ana işlem cebiri vardır. Bunlar: CCS ve hesabı hem Robin Milner tarafındanππ\pi Tony Hoare tarafından CSP ve ACP Jan Bergstra ve Jan Willem Klop tarafından Üçünün de bugüne kadar oldukça aktif bir takibi var gibi görünüyor ve …

21 logic  concurrency  process-algebras 

Bir verilen etiketli geçiş sistemi , S durumlarının bir dizi, Λ bir etiket grubu, ve → ⊆ S x Λ x S isimli bir üçlü ilişkisi. Her zamanki gibi, ( p , α , q ) ∈ → için p α → q yazın . Etiketli geçiş s a → …

20 programming-languages  formal-methods  semantics  process-algebras 

Bir içecek dağıtıcısı kullanıcının bir bozuk para ( ) eklemesini gerektirir , ardından üç düğmeden birine basın: bir bardak çay ister , kahve için aynen ve geri ödeme isteğinde bulunur (yani makine jetonu geri verir: ). Bu dağıtıcı aşağıdaki CCS işlemi ile modellenebilir :c¯c¯\bar cd¯Çayd¯Çay\bar d_{\text{tea}}eÇayeÇaye_{\text{tea}}r¯r¯\bar rb¯b¯\bar b M=d e …

11 logic  concurrency  modelling  process-algebras  ccs