Process algebra: Equational theories of communicating processes

This page intentionally left blank Cambridge Tracts in Theoretical Computer Science 50 Process Algebra: Equational Th...

26 downloads 784 Views 2MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

This page intentionally left blank Cambridge Tracts in Theoretical Computer Science 50 Process Algebra: Equational Th...

Communicating Sequential Processes C. A. R. Hoare June 21, 2004 © C. A. R. Hoare, 1985–2004 This document is an elect...

Communicating Sequential Processes C. A. R. Hoare March 28, 2003 © C. A. R. Hoare, 2003 This document is an electroni...

Preface 1. Introduction According to the Oxford English Dictionary (OED II CD-ROM), a process is a series of actions or ...

HANDBOOK OF PROCESS ALGEBRA This Page Intentionally Left Blank HANDBOOK OF PROCESS ALGEBRA Edited by J.A. Bergstr...

APPLICATIONS OF PROCESS ALGEBRA Cambridge Tracts in Theoretical Computer Science Managing Editor Professor C.J. van Ri...

Wan Fokkink Introduction to Process Algebra Computer Science – Monograph (English) 2nd edition April 10, 2007 Spring...

Wan Fokkink Introduction to Process Algebra Computer Science – Monograph (English) 2nd edition April 10, 2007 Spring...