Hennessy, Matthew.
Hennessy, M
Matthew Hennessy Irish computer scientist
VIAF ID: 32326006 ( Personal )
Permalink: http://viaf.org/viaf/32326006
Preferred Forms
- 200 _ | ‡a Hennessy ‡b Matthew
- 100 1 _ ‡a Hennessy, M
-
-
-
-
- 100 1 _ ‡a Hennessy, Matthew
- 100 1 _ ‡a Hennessy, Matthew
- 100 1 _ ‡a Hennessy, Matthew
-
-
-
- 100 1 _ ‡a Hennessy, Matthew
-
- 100 0 _ ‡a Matthew Hennessy ‡c Irish computer scientist
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Algebraic theory of processes, c1988: | |
Distributed bisimulations | |
A distributed pi-calculus | |
n87892304 | |
Puroguramingu gengo no imiron nyūmon | |
The semantics of programming languages : an elementary introduction using structural operational semantics | |
プログラミング言語の意味論入門 |