Similar to ペトリネット

Process calculus

Communicating sequential processes

Specification and Description Language

B-Method

TLA+

Specification language

Actor model

Turing machine

Denotational semantics

Billiard-ball computer

Finite-state machine

AMD CrossFire

J-invariant

Affine connection

Archimedes Palimpsest

1 + 1 + 1 + 1 + ⋯

1/2 + 1/4 + 1/8 + 1/16 + ⋯

1/2 − 1/4 + 1/8 − 1/16 + ⋯

1/4 + 1/16 + 1/64 + 1/256 + ⋯

Hundredth

Courant–Friedrichs–Lewy condition

DPLL algorithm

E (complexity)

ESPACE

Great Internet Mersenne Prime Search

Mizar system

PlusCal

Vienna Development Method