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 ) . S e x ( z ) . P 1 a x...
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...
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 / criação de outro...
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 é...
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...