Mathematical Structures in Computer Science

Quantum computation and quantum information

Thierry Paul · 2007 · 1.9K citations

Computing, Computer Science, Physics +13

Reo: a channel-based coordination model for component composition

Farhad Arbab · 2004 · 702 citations · Full text

Computing, Computer Engineering, Computer Science +17

Functions as processes

Robin Milner · 1992 · 530 citations · Full text

Computing, Computer Science, Formal Methods +8

Towards a quantum programming language

Peter Selinger · 2004 · 496 citations

Computing, Computer Science, Programming Languages +14

Representing Control: a Study of the CPS Transformation

Oliver Danvy, Andrzex Filinski · 1992 · 352 citations

Computing, Computer Science, Algorithms +14