Original sentence: ); there are numerous process calculi, developed for reasoning about a variety of different kinds of concurrent systems at various levels of detail (including calculi that incorporate time, stochastic transitions, or constructs specific to application areas such as security analysis).Some process calculi use channels, as opposed to the “direct” communication of the Actor model.physical laws (see Actor model theory); the process calculi were originally inspired by algebra
Edited sentence: (Even Mobile ambients are based on process calculi that use channels.); there are numerous process calculi.Process calculi use channels, as opposed to the “direct” communication of the Actor model.physical laws (see Actor model theory); the process calculi were inspired by algebra