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
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 picalculus 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 picalculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the picalculus, 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 picalculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles
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 picalculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the picalculus, 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 picalculus, 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
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, Málaga, Spain, July 813, 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
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 Málaga, Spain, July 813, 2002 Proceedings by
Peter Widmayer(
)
1 edition published in 2002 in English and held by 33 WorldCat member libraries worldwide
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
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
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
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
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."
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 higherorder processes by
Matthew Hennessy(
Book
)
1 edition published in 1992 in English and held by 7 WorldCat member libraries worldwide
1 edition published in 1992 in English and held by 7 WorldCat member libraries worldwide
Proof systems for messagepassing process algebras by
Matthew Hennessy(
Book
)
2 editions published in 1993 in English and held by 7 WorldCat member libraries worldwide
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
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
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
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
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
4 editions published in 1984 in English and held by 6 WorldCat member libraries worldwide
Typesafe 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
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."
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
1 edition published in 1993 in English and held by 6 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
General  Special 
Related Identities
 Conejo, Ricardo Editor
 Eidenbenz, Stephan Editor
 Widmayer, Peter Author Editor
 Triguero, Francisco Editor
 Morales, Rafael Editor
 Sussex Univ., Brighton (GB). School of Cognitive and Computing Sciences
 University of Sussex Computer Science
 Sussex Univ., Brighton (GB). Computer Science
 University of Edinburgh Department of Computer Science
 Rathke, Julian Author
Useful Links
Associated Subjects
Algebra, Abstract Artificial intelligence Computer graphics Computer multitasking Computer programming Computer science Computer scienceMathematics Computer software Data structures (Computer science) Distributed parameter systems Electric apparatus and appliances Electronic apparatus and appliances Electronic data processing Electronic data processingDistributed processing Formal languages Information theory Logic programming Machine theory Mathematics Modality (Logic) Observers (Control theory) Parallel processing (Electronic computers) Picalculus Programming languages (Electronic computers) Programming languages (Electronic computers)Semantics Proof theory Sequential machine theory Software engineering Temporal databases
Covers
Alternative Names
Hennessy, M
Matthew Hennessy Irish computer scientist
ヘネシー, M.
Languages