VIAF

Virtual International Authority File

Search

Hennessy, Matthew. National and University Library in Zagreb Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands NUKAT Center of Warsaw University Library National Library of France National Diet Library, Japan

Hennessy, M ISNI

Matthew Hennessy Wikidata

VIAF ID: 32326006 (Personal)

Permalink: http://viaf.org/viaf/32326006

ISNI: 0000  0001  2415  140X 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (2)

Open Section Close SectionWorks

Title Sources
Algebraic theory of processes NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France Library of Congress/NACO
Automata, Languages and Programming 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings Sudoc [ABES], France
Distributed bisimulations Sudoc [ABES], France
A distributed pi-calculus NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of France
Puroguramingu gengo no imiron nyūmon National Diet Library, Japan
The semantics of programming languages : an elementary introduction using structural operational semantics National Library of the Netherlands National and University Library in Zagreb Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Diet Library, Japan
プログラミング言語の意味論入門 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (7)

Open Section Close Section About

Open Section Close Section History of VIAF ID:32326006 (21)