Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computation theory
Petri nets
Algebras of connectors
1
Bisimilarity
1
Branching structures
1
Branching vector addition systems with state
1
Calculations
1
Computer circuits
1
Control state
1
Counter systems
1
Coverability problem
1
Finite state
1
Forestry
1
Formal logic
1
Merging
1
Non Determinism
1
Normal form
1
P/T net
1
Petri nets with boundaries
1
Reconfigurable hardware
1
Satisfiability
1
Satisfiability problems
1
Semantics
1
Trees (mathematics)
1
Vector addition systems
1
Vectors
1
-
1
-
2