Bisimulation for component-based development
Guaranteeing that assembled components will behave as required is one of the main aspects in working with Component-Based Development. In this paper we present a formal approach for tackling this problem by applying the concept of bisimulation, originally presented in the study of concurrency theory...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata
2002-05-01
|
| coleção: | Journal of Computer Science and Technology |
| Assuntos: | |
| Acesso em linha: | https://journal.info.unlp.edu.ar/JCST/article/view/971 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|