VIAF

Virtual International Authority File

Search

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

Hennessy, M. German National Library 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, c1988: Library of Congress/NACO NUKAT Center of Warsaw University Library National Library of the Netherlands Sudoc [ABES], France
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 Library of Congress/NACO NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of France
n87892304 National Diet Library, Japan
Puroguramingu gengo no imiron nyūmon National Diet Library, Japan
The semantics of programming languages : an elementary introduction using structural operational semantics Library of Congress/NACO Sudoc [ABES], France National Diet Library, Japan NUKAT Center of Warsaw University Library National Library of the Netherlands National and University Library in Zagreb
プログラミング言語の意味論入門 National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions 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 (16)