Logic for Concurrency and Synchronisation 2003rd Edition

Ebook Details

Authors R.J. De Queiroz
Year 2003
Pages 285
Publisher Springer
Language en
ISBN 9781402012709
File Size 5.81 MB
File Format PDF
Download Counter 57
Amazon Link
Google Book Link
Download Now

Ebook Description

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.