1993
Fully abstract models for concurrent languages
Publication
Publication
Additional Metadata | |
---|---|
VU Amsterdam | |
J.W. de Bakker (Jaco) , J.J.M.M. Rutten (Jan) | |
Organisation | Computer Security |
Horita, E. (1993, January). Fully abstract models for concurrent languages. |