Algebraic Theory of Processes

Main
Computers - Computer Science
Algebraic Theory of Processes

Algebraic Theory of Processes

Matthew Hennessy

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.

Kategori:

Computers - Computer Science

Tahun:

1988

Penerbit:

Mit Pr

Bahasa:

english

Halaman:

272

ISBN 10:

0262081717

ISBN 13:

9780262081719

Nama seri:

Foundations of Computing Series

File:

DJVU, 1.60 MB

IPFS:

,

english, 1988

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Davide Sangiorgi, David Walker — The Pi Calculus

J. C. M. Baeten, T. Basten, M. A. Reniers — Process Algebra: Equational Theories of Communicating Processes

Matthew Hennessy — A distributed pi-calculus

Glynn Winskel — The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

M. Aizenman (Chief Editor) — Communications in Mathematical Physics - Volume 221

H. Araki, V. Bach, J. Yngvason (Editors) — Reviews in Mathematical Physics - Volume 4

Bruno Buchberger (Editor) — Journal of Symbolic Computation, Volume 18, issues 1-6 issue 1-6

Jaroslav Jezek — Universal algebra

Samson Abramsky (auth.), Josep Diaz (eds.) — Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July 18–22, 1983

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.) — Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

M. Aizenman (Chief Editor) — Communications In Mathematical Physics - Volume 292

Davis, Martin;Sigal, Ron;Weyuker, Elaine J — Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

Davis M., Sigal R., Weyuker E. — Computability, complexity, and languages: Fundamentals of theoretical computer science

René Cori, Daniel Lascar, Donald Pelletier — Mathematical Logic: A Course with Exercises Part II: Recursion Theory, Gödel’s Theorems, Set Theory, Model Theory

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Carl A. Gunter — Semantics of Programming Languages: Structures and Techniques

John C. Mitchell — Foundations for programming languages

Jan van Leeuwen (ed.) — Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics

Winskel G. — The formal semantics of programming languages: an introduction

Carl A. Gunter — Semantics of Programming Languages: Structures and Techniques

Schmidt H.A., Schutte K., Thiele H.-J. (eds.) — Contributions to Mathematical Logic (Logic Colloquium '66)

Xavier Caicedo, Carlos Montenegro — Models, algebras, and proofs: selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota

Caicedo X. — Models, Algebras and Proofs: Proceedings Latin-American Symposium on Mathematical Logic,1996, Bogota, Colombia, Vol. 203

Daniel Cunningham — Mathematical Logic: An Introduction

K. R. Apt, J. W. de Bakker (auth.), Antoni Mazurkiewicz (eds.) — Mathematical Foundations of Computer Science 1976: Proceedings, 5th Symposium, Gdańsk, September 6–10, 1976

J. Adámek (auth.), Prof. Ferenc Gécseg (eds.) — Fundamentals of Computation Theory: Proceedings of the 1981 International FCT-Conference, Szeged, Hungary August 24–28, 1981

Jon Louis Bentley, Thomas Ottmann (auth.), Jozef Gruska, Michal Chytil (eds.) — Mathematical Foundations of Computer Science 1981: Proceedings, 10th Symposium à trbské Pleso, Czechoslovakia August 31 – September 4, 1981

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Susumu Hayashi, Yukihide Takayama (auth.), Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.) — Logic, Language and Computation: Festschrift in Honor of Satoru Takasu

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.) — Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.) — Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers

Samson Abramsky (auth.), M. Main, A. Melton, M. Mislove, D. Schmidt (eds.) — Mathematical Foundations of Programming Semantics: 5th International Conference Tulane University, New Orleans, Louisiana, USA March 29–April 1, 1989 Proceedings

R. G. Bukharajev, Ju. A. Alpin (auth.), Marek Karpiński (eds.) — Fundamentals of Computation Theory: Proceedings of the 1977 International FCT-Conference, Poznan-Kórnik, Poland September 19–23, 1977

Gerald E. Sacks — Mathematical Logic in the 20th Century

Istilah kunci