Artículos relacionados a Logic for Concurrency and Synchronisation: 18 (Trends...

Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18) - Tapa dura

Libro 5 de 53: Trends in Logic
 
9781402012709: Logic for Concurrency and Synchronisation: 18 (Trends in Logic, 18)

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.