Logic for Concurrency and Synchronisation
Author(s)
Ruy J. De Queiroz
Ruy J. De Queiroz
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.
Keywords
Logic, Information Technology, Computer Science, Logic, Mathematics & Statistics -> Post-Calculus -> Logic, Professional, Career & Trade -> Computer Science -> Information Technology, Professional, Career & Trade -> Computer Science -> Computer Science, Social Sciences -> Philosophy -> Logic & Critical Reasoning, SCM24005, SCI13057, SCI16005, SCE16000, 3778, 7418, 2981, 3456, SUCO11649
Logic, Information Technology, Computer Science, Logic, Mathematics & Statistics -> Post-Calculus -> Logic, Professional, Career & Trade -> Computer Science -> Information Technology, Professional, Career & Trade -> Computer Science -> Computer Science, Social Sciences -> Philosophy -> Logic & Critical Reasoning, SCM24005, SCI13057, SCI16005, SCE16000, 3778, 7418, 2981, 3456, SUCO11649
| ISBN-10: | 0306480883 |
|---|---|
| ISBN-13: | 9780306480881 |
| Book pages: | 408 |
| Book language: | English |
| Edition: | 1 |
| Binding: | eBook |
| Publisher: | Springer Nature |
| Dimensions: | Page Fidelity |
