Sign In
Sign Up
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
-
/
5
0 votes
Parallel Processing (Electronic Computers)
Distributed Processing
Logique Temporelle
The Girl in the Spider's Web
3.0
2K votes
From Beyond
3.3
550 votes
The Land Before Time II: The Great Valley Adventure
3.1
541 votes
Universal Soldier: The Return
3.0
2K votes
The Net
3.0
2K votes
Swiped
2.3
687 votes
Paprika
3.9
3K votes
Cube Zero
2.9
2K votes
Waking Life
3.8
863 votes
Sliding Doors
3.3
2K votes
TRON: Legacy
3.3
8K votes
Azur & Asmar: The Princes' Quest
3.9
618 votes
Transcendence
3.0
6K votes
Look Both Ways
3.4
644 votes
Who Am I
3.8
2K votes
The Zero Theorem
3.1
2K votes
The Land Before Time
3.6
3K votes
Guns Akimbo
3.2
3K votes
Stay
3.3
2K votes
The Good Dinosaur
3.4
6K votes
S1m0ne
3.0
893 votes
Goal!
3.4
2K votes
The Dark Tower
2.9
6K votes
The Cloverfield Paradox
2.8
4K votes
Eraserhead
3.7
3K votes
The Internship
3.1
5K votes
Hackers
3.1
2K votes
Jobs
3.1
3K votes
The Thirteenth Floor
3.5
2K votes
The Great Hack
3.5
509 votes
Antitrust
3.0
509 votes
Candy
3.6
598 votes
Jurassic World: Fallen Kingdom
3.3
12K votes
Jurassic Park
4.0
17K votes
Oxygen
3.3
2K votes
Steve Jobs
3.4
5K votes
Luck
3.9
2K votes
Elemental
3.8
5K votes
Speed 2: Cruise Control
2.3
2K votes
Free Guy
3.7
9K votes
Black Mirror: Bandersnatch
3.4
4K votes
Tron
3.4
3K votes
Interstate 60
3.7
673 votes
Mr. Nobody
3.9
6K votes
The Indian in the Cupboard
3.3
616 votes
Sky Captain and the World of Tomorrow
2.9
2K votes
Big Momma's House 2
2.9
2K votes
Choose or Die
2.7
779 votes