Picture 1 of 1

Stock photo

Logic for Concurrency and Synchronisation by R.J. De Queiroz (English) Paperback - Picture 1 of 1

Logic for Concurrency and Synchronisation by R.J. De Queiroz (Paperback, 2013)

thenilestore (1245015)

99.1% positive feedback

Price:

AU $203.93

+ $4.99 postage

Estimated delivery Thu, 31 Jul - Wed, 6 Aug

Returns:

30-day returns. Buyer pays for return postage. If you use an eBay postage label, it will be deducted from your refund amount.

Condition:

Brand new

By R.J. De Queiroz. Logic for Concurrency and Synchronisation. The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now.

About this product

Product Information

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.