×

A formal model for the language LSD and the calculus CSD. (Russian. English summary) Zbl 0794.68051

Summary: LSD – a many-sorted language of predicate calculus and a calculus CSD were designed for description and analysis of systems of communicating processes. LSD and CSD were worked out using proof-theoretical methods of mathematical logic. The purpose of the paper is to develop the model- theoretical part of LSD and CSD. A model for the axiomatics of CSD is constructed using a method based on the coding of syntactic information by the degrees of prime numbers. Though, in this paper, only an example of systems of communicating processes is used, the method for model construction is applicable for any system of communicating processes.

MSC:

68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
03B80 Other applications of logic
03F03 Proof theory in general (including proof-theoretic semantics)
PDFBibTeX XMLCite