Teórica
27/02/06 11:00
Operações sobre sistema de transição: restrição, renomeação, produto, composição paralela. Modelos da concorrência entrelaçados e não entrelaçados.
Prática
27/02/06 09:00
Exercícios sobre sistemas de transição.
Teórica
22/02/06 12:00
Introdução aos sistemas de transição.
Teórica
20/02/06 11:00
Apresentação da disciplina.
Acetatos
15/02/06 11:46
Os acetatos apresentados nas aulas teóricas serão colocados no material de apoio ao longo do semestre.