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

Você pode modelar transmissões confiáveis ​​no cálculo pi? Se sim: como? Caso contrário: existem álgebras de processo semelhantes onde você pode? O que eu tentei: Se o remetente quiser enviar uma mensagem y para todos os P 1 a P n , você poderá escrever ! ( ¯ x y …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Robin Milner definiu bigraphs como um tipo de estrutura gráfica com estrutura semelhante a gráfico, mas onde os nós podem ser aninhados. Eles generalizam os cálculos de processos como o CCS e o cálculo, mas Milner parece ter pretendido que eles fossem usados ​​de maneira muito mais geral: as notas …

14 process-algebra  ho.history-overview 

Minha formação é em teoria / lógica da complexidade (onde há apenas um processo na maioria das vezes) e em computação distribuída (onde há processos e um ou mais podem falhar ao longo do tempo). No entanto, agora eu quero poder dizer algo sobre um processo de criação / criação …

13 dc.parallel-comp  process-algebra 

Há algum tempo, estou muito interessado em teoria da linguagem de programação e cálculo de processos e comecei a estudá-los. Para ser honesto, é algo que eu não me importaria de seguir para uma carreira. Acho a teoria incrivelmente fascinante. Uma pergunta constante em que continuo me deparando é se …

10 pl.programming-languages  process-algebra 

Alguém conhece algum formalismo algébrico (ou relacionado) de processo que captura informações de localização refinadas? Eu estou familiarizado com ambientes e gráficos grandes, que obviamente têm um modelo de localização, mas e as tentativas de modelar informações de localização mais concretas, de modo que a localização de algum agente seja …

8 concurrency  process-algebra  formal-modeling