Logic for concurrency and synchronisation /

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Queiroz, Ruy J. G. B. de
Format:	eBook
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic Publishers, [2003]
Series:	Trends in logic ; v. 18.
Subjects:	Proof theory. Modality (Logic) Parallel programming (Computer science) MATHEMATICS > Infinity. MATHEMATICS > Logic. Electronic books.
Online Access:	Connect to the full text of this electronic book Connect to the full text of this electronic book