![](/img/cover-not-exists.png)
[IEEE Comput. Soc Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000) - Santa Barbara, CA, USA (26-28 June 2000)] Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) - A theory of bisimulation for a fragment of Concurrent ML with local names
Jeffrey, A., Rathke, J.Year:
2000
Language:
english
DOI:
10.1109/lics.2000.855780
File:
PDF, 306 KB
english, 2000