Final Semantics for a higher order concurrent langauage

LECTURE NOTES IN COMPUTER SCIENCE

http://hdl.handle.net/11390/683844

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84947908685

closed access