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 um...
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...
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 CCS :ˉ d cháechá ˉ r ˉ...