Flick Club LogoFlick Club Logo

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

Grzegorz Rozenberg

J. W. de Bakker

Willem-Paul de Roever

W.-P. de Roever

Parallel Processing (Electronic Computers) Distributed Processing Logique Temporelle
Hackers & painters
4.0 16 votes
The Soul of a New Machine
4.1 15 votes
The Mythical Man-Month
4.2 28 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
Hackers
4.1 21 votes
Masters of Doom
4.1 32 votes
Coders at Work
4.0 18 votes
The Cathedral and the Bazaar
4.3 16 votes
Code Complete
4.2 22 votes
Microserfs
4.0 18 votes
Daemon
4.1 44 votes
The Code Book
4.0 35 votes
The C Programming Language
4.3 36 votes
Code
4.3 21 votes
Artificial intelligence
4.2 20 votes
Algorithms to Live By
4.0 37 votes
In the Beginning...Was the Command Line
3.7 22 votes
The Pragmatic Programmer
4.4 41 votes
Ghost in the wires
4.1 17 votes
The Innovators
3.9 18 votes
Magician
4.1 45 votes
JavaScript
4.1 30 votes
Don't Make Me Think
4.1 15 votes
Clean Code
4.4 35 votes
The Subtle Knife
4.0 94 votes
The Amber Spyglass
3.9 92 votes
Nine Princes in Amber
4.0 34 votes
Cryptonomicon
4.5 28 votes
Invisible Women
4.4 24 votes
Northern Lights
4.0 192 votes
The Visual Display of Quantitative Information
4.2 28 votes
Freedom™
4.1 29 votes
English Grammar in Use
4.1 17 votes
Artemis Fowl. The Eternity Code
4.3 20 votes
The Cuckoo’s Egg
3.9 18 votes
Stormbreaker
3.9 31 votes
The Jennifer Morgue
3.8 20 votes
Steve Jobs
4.1 141 votes
Halting State
3.5 18 votes
Little Brother
4.0 49 votes
The Drawing of the Three
4.2 78 votes
Homeland
3.8 21 votes
Reamde
3.7 47 votes
No Place to Hide
4.1 18 votes
Οἰδίπους Τύραννος (Oidípous Týrannos)
3.3 26 votes
Wizard and Glass
4.1 60 votes
The Everything Store
4.3 23 votes
Player Piano
3.8 27 votes