Ebook: Logic for concurrency and synchronisation
Author: Queiroz Ruy J. G. B. de (ed.)
- Genre: Computers
- Tags: Modality (Logic), Parallel programming (Computer science), Proof theory., Proof theory, Modallogik, Synchronisierung, Verteiltes System, Lineare Logik, Nebenläufigkeit, Prozess, Beweistheorie, SWD-ID: 41451776, Lineare Logik, SWD-ID: 46270668, Modallogik, SWD-ID: 40749149
- Series: Trends in logic 18
- Year: 2003
- Publisher: Kluwer Acad. Publ
- City: Dordrecht
- Language: English
- pdf
Download the book Logic for concurrency and synchronisation for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)