Capítulo de livro
Action Structures and the Pi Calculus
1995; Springer Nature; Linguagem: Inglês
10.1007/978-3-642-79361-5_8
Autores Tópico(s)Formal Methods in Verification
Referência(s)