Number: CS 37/91
Author(s): TEKKO, Jaanus.
Title: The formal model for the language LSD and calculus CSD. 17 p.
Language: English
ABSTRACT. 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-theoretic part of
mathematical logic. The purpose of the paper was developing of the
modeltheoretic part of LSD and CSD. A model for axiomatics of CSD was
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 was used, the method for model construction is
applicable for any system of communicating processes.