Logic for Concurrency and Synchronisation

✍ Scribed by R.J. De Queiroz

Publisher: Kluwer Academic Publishers
Year: 2003
Tongue: English
Leaves: 297
Series: Trends in Logic 18
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic for Concurrency and Synchronisatio

📁 Logic for Concurrency and Synchronisation

✍ Ruy J.G.B. de Queiroz (ed.) 📂 Library 📅 2003 🏛 Springer 🌐 English

The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art in current investigations of process calculi with mainly two major paradigms at work: linear logic and

Logic for concurrency and synchronisatio

📁 Logic for concurrency and synchronisation

✍ Queiroz, Ruy J. G. B. de (ed.) 📂 Library 📅 2003 🏛 Kluwer Acad. Publ 🌐 English

Logic for Concurrency and Synchronisatio

📁 Logic for Concurrency and Synchronisation

✍ R.J. De Queiroz 📂 Library 📅 2003 🌐 English

Logic for Concurrency and Synchronisatio

📁 Logic for Concurrency and Synchronisation

✍ Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz (auth.), Ruy J. G. B. de Que 📂 Library 📅 2003 🏛 Springer 🌐 English

Logic for Concurrency and Synchronisatio

📁 Logic for Concurrency and Synchronisation

✍ Ruy J.G.B. de Queiroz (ed.) 📂 Library 📅 2003 🏛 Kluwer Academic Publishers 🌐 English

This book is for researchers in computer science, mathematical logic, and philosophical logic. The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual chapters of this book show the state of the art in

Logic for Concurrency and Synchronisatio

📁 Logic for Concurrency and Synchronisation (Trends in Logic)

✍ R.J. De Queiroz 📂 Library 📅 2003 🏛 Springer 🌐 English