Csp Algebra De Processo E Z Linguagem Baseada Em Modelos Matematicos
Mostrando 1-1 de 1 artigos, teses e dissertações.
-
1. Efficient mechanised analysis of infinite CSPz specifications: strategy and tool support
In concurrent systems modelling, the use of different formal languages has been an alternative very used in the last years. Process algebras (like CSP and CCS) are adequate to model behaviour, while languages based on mathematical models (like Z and VDM) are more suitable to describe data aspects. Integrated languages have appeared in order to provide suppor
Publicado em: 2003