Hennessy, Matthew

Overview

Works:	100 works in 193 publications in 1 language and 1,391 library holdings
Genres:	Instructional and educational works Conference papers and proceedings
Roles:	Author, Editor, Contributor, htt, Other
Classifications:	QA76.9.M35, 004.0151

Publication Timeline

Most widely held works by Matthew Hennessy

Algebraic theory of processes by Matthew Hennessy( Book )

16 editions published between 1985 and 1988 in English and held by 378 WorldCat member libraries worldwide

This book provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science. It develops the mathematical foundations of the algebraic approach to the formal semantics of languages and applies these ideas to a particular semantic theory of distributed processes. This book is a source of information for theoretical computer scientists. It is a comprehensive introduction to the field and to the author's theory of the behavioral semantics of processes and original results in example languages for distributed processes. The problems addressed are motivated from the standpoint of computer science, and all the required algebraic concepts are covered

A distributed pi-calculus by Matthew Hennessy( Book )

13 editions published in 2007 in English and held by 273 WorldCat member libraries worldwide

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles

The semantics of programming languages : an elementary introduction using structural operational semantics by Matthew Hennessy( Book )

21 editions published between 1990 and 1999 in English and held by 222 WorldCat member libraries worldwide

Arithmetic expressions; A simple functional language; More languages; Computation semantics; Parallelism; Bibliography; Index

Automata, languages and programming : 29th international colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 ; proceedings by Peter Widmayer( )

6 editions published in 2002 in English and held by 166 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 29th International Colloquium on Automata, Languages and Programming, ICALP 2002, held in Malaga, Spain, in July 2002. The 83 revised full papers presented together with 7 invited papers were carefully reviewed and selected from a total of 269 submissions. All current aspects of theoretical computer science are addressed and major new results are presented

Automata, Languages and Programming : 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8-13, 2002 Proceedings by Peter Widmayer( )

1 edition published in 2002 in English and held by 33 WorldCat member libraries worldwide

Algebraic laws for nondeterminism and concurrency by Matthew Hennessy( Book )

4 editions published in 1983 in English and held by 9 WorldCat member libraries worldwide

Concurrent testing of processes by Matthew Hennessy( Book )

2 editions published in 1991 in English and held by 9 WorldCat member libraries worldwide

The power of the future perfect in program logics by Matthew Hennessy( Book )

5 editions published between 1983 and 1985 in English and held by 8 WorldCat member libraries worldwide

Symbolic bisimulations by Matthew Hennessy( Book )

3 editions published between 1992 and 1993 in English and held by 7 WorldCat member libraries worldwide

Observing localities by G Boudol( Book )

2 editions published in 1991 in English and held by 7 WorldCat member libraries worldwide

Abstract: "We introduce a refined version of observation for CCS which allows the observer to see the distributed nature of processes. Using several examples we argue that a semantic theory based on such observations is not only intuitive but may also be of use when formalising the relationship between implementations and specifications. Technically, we show that the resulting theory of location equivalence is very similar to that of bisimulation equivalence, e.g. it can be characterised by a simple modal logic. A comparison with distributed bisimulations is also given."

A denotational model for higher-order processes by Matthew Hennessy( Book )

1 edition published in 1992 in English and held by 7 WorldCat member libraries worldwide

Proof systems for message-passing process algebras by Matthew Hennessy( Book )

2 editions published in 1993 in English and held by 7 WorldCat member libraries worldwide

Proving systolic systems correct by Matthew Hennessy( Book )

1 edition published in 1984 in English and held by 7 WorldCat member libraries worldwide

Axiomatising finite delay operators by Matthew Hennessy( Book )

3 editions published in 1982 in English and Undetermined and held by 6 WorldCat member libraries worldwide

Testing equivalence for processes by Rocco De Nicola( Book )

4 editions published in 1982 in English and held by 6 WorldCat member libraries worldwide

Resource access control in systems of mobile agents by Matthew Hennessy( Book )

1 edition published in 1998 in English and held by 6 WorldCat member libraries worldwide

An algebraic theory of fair asynchronous communicating processes by Matthew Hennessy( Book )

4 editions published in 1984 in English and held by 6 WorldCat member libraries worldwide

Type-safe execution of mobile agents in anonymous networks by Matthew Hennessy( Book )

1 edition published in 1998 in English and held by 6 WorldCat member libraries worldwide

A theory of processes with localities by G Boudol( Book )

2 editions published between 1991 and 1992 in English and held by 6 WorldCat member libraries worldwide

Abstract: "We study a notion of observation for concurrent processes which allows the observer to see the distributed nature of processes, giving explicit names for the location of actions. A general notion of bisimulation related to this observation of distributed systems is introduced. Our main result is that these bisimulation relations, particularized to a process algebra extending CCS, are completely axiomatizable. We discuss in details two instances of location bisimulations, namely the location equivalence and the location preorder."

A modal logic for message passing processes by Matthew Hennessy( Book )

1 edition published in 1993 in English and held by 6 WorldCat member libraries worldwide