Zobrazeno 1 - 2
of 2
pro vyhledávání: '"METIS-263893"'
We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear process equations (LPEs). Our method consists of two steps: (1) we reconstruct the LPE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::30c716e22bb1e420f5e85cad86ce6c6f
Autor:
van de Pol, Jan Cornelis, Timmer, Mark
We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear process equations (LPEs). Our method consists of two steps: (1) we reconstruct the LPE
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::77f8630123ee31fc831fb56ff313a31a
https://research.utwente.nl/en/publications/0dba8b03-b56a-46dc-af2e-c93349fecb36
https://research.utwente.nl/en/publications/0dba8b03-b56a-46dc-af2e-c93349fecb36