Priority channel system

A priority channel system is a certain computational system where concurrent automatons communicate with prioritized messages through a number of channels. Initially defined by Christopher Haase et al. in 2014, they are notable for their ability to compute fast-growing functions.