A Denotational Semantics for Circus
A tactic language for refinement of state-rich concurrent specifications
UI2 Reusable Sets Collection
Trabalho Final - Processos Estocásticos - Caio Souza Oliveira - Marcel Souza Oliveira.pdf