popular
trending
lists
login
Models of computation
Abstract machines
Actor model (computer science)
Applicative computing systems
Automata (computation)
Combinatory logic
Computation oracles
Denotational semantics
Distributed stream processing
Lambda calculus
Persistence
Petri nets
Process calculi
Programming paradigms
Quantum computing
Register machines
Reversible computing
Stack machines
Transition systems
Turing machine
Reo Coordination Language
James Sakoda
Latest Activity
Latest Events
Jade van Vliet and Kenneth Taylor
Engagement - 1st Jun 2026
by missepticeye
Callum Turner and Dua Lipa
Marriage - 31st May 2026
by TrickyBaby
Zachariah Porter and Jonathan Carson
Engagement - 31st May 2026
by missepticeye
Charo Walop and Lex
Child - 30th May 2026
by missepticeye
see more
Follow WDW on Facebook