Logic for Concurrency and Synchronisation (2003) (Trends in Logic #18)

By:

Sign Up Now! Already a Member? Log In
You must be logged into UK education collection to access this title. Learn about membership options, or view our freely available titles.

Synopsis
This book is for researchers in computer science, mathematical logic, and philosophical logic. It shows the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and modal logic. The combination of approaches and pointers for further integration also suggests a grander vision for the field.
Copyright:
2003

Book Details

Book Quality:
Publisher Quality
ISBN-13:
9780306480881
Related ISBNs:
9781402012709
Publisher:
Springer Netherlands
Date of Addition:
Copyrighted By:
N/A
Adult content:
No
Language:
English
Has Image Descriptions:
No
Categories:
Nonfiction, Computers and Internet, Mathematics and Statistics, Philosophy
Submitted By:
Bookshare Staff
Usage Restrictions:
This is a copyrighted book.
Edited by:
R.J. De Queiroz

Reviews

No Rating Yet