Approximating the projective model
pp. 273-282
in: Dimiter G. Skordev (ed), Mathematical logic and its applications, Berlin, Springer, 1987Abstrakt
One of the fundamental questions in the calculus of communicating processes is determining if a given system of fixed point equations has a solution in the projective model. The present paper provides an approximation principle for the projective model, which makes it posssible to prove assertions in this model by proving them in an infinite sequence of certain finite process algebras. Motivated from this principle a new model for process algebras is defined and its relationship to the projective model is studied.