Generating the syntactic and semantics graphs for a Markovian process algebra
Fernando L. Pelayo, Maria L. Pelayo, Juan L.G. GuiraoVolume:
204
Year:
2007
Language:
english
Pages:
10
DOI:
10.1016/j.cam.2006.04.054
File:
PDF, 170 KB
english, 2007