Base Teórica

Base Teórica

• Cálculo de Sistemas Comunicantes (CCS) - Milner
• Processos Sequenciais Comunicantes (CSP) - Hoare
• Descrição algébrica
• Observação de comportamento e comunicação

Previous slide

Next slide

Back to the first slide

View Graphic Version