Perguntas com a marcação «process-algebras»

Que eu saiba, existem três álgebras de processo principais que inspiraram uma vasta gama de pesquisas em modelos formais de concorrência. Esses são: CCS e -calculus, ambos de Robin Milnerππ\pi CSP de Tony Hoare e ACP por Jan Bergstra e Jan Willem Klop Todos os três parecem ter até hoje …

21 logic  concurrency  process-algebras 

Dado um sistema de transição rotulado (S,Λ,→)(S,Λ,→)(S,\Lambda,\to) , onde SSS é um conjunto de estados, ΛΛ\Lambda é um conjunto de rótulos e →⊆S×Λ×S→⊆S×Λ×S\to\subseteq S\times\Lambda\times S é uma relação ternária. Como sempre, escreva p→αqp→αqp \stackrel\alpha\rightarrow q para . A transição rotulada indica que o sistema no estado muda de estado para …

20 programming-languages  formal-methods  semantics  process-algebras 

Um dispensador de bebidas exige que o usuário insira uma moeda ( ) e pressione um dos três botões: solicita uma xícara de chá , o mesmo para café , e solicita um reembolso (ou seja, a máquina devolve a moeda: ). Este dispensador pode ser modelado pelo seguinte processo …

11 logic  concurrency  modelling  process-algebras  ccs