High-Level Models of Unconventional Computations