Structural operational semantics for weak bisimulations

Autoria(s): Bard Bloom
Data(s)

1995
Identificador

http://ir.iscas.ac.cn/handle/311060/1274

http://www.irgrid.ac.cn/handle/1471x/66401
Idioma(s)

中文
Fonte

Bard Bloom.Structural operational semantics for weak bisimulations.Theoretical Computer Science,1995,146(1-2):25-68
Tipo

期刊论文
Acesso ao item digital