resumo
- IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA
Components as processes: An exercise in coalgebraic modeling
Artigo de Conferência
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2000