Repository | Book | Chapter
(1987) Mathematical logic and its applications, Dordrecht, Springer.
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.
Publication details
DOI: 10.1007/978-1-4613-0897-3_19
Full citation:
Kranakis, E. (1987)., Approximating the projective model, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 273-282.
This document is unfortunately not available for download at the moment.