Denotational semantics of parallel programming languages.
Peter Brezány · Czech digital mathematics library · 1983
BREZÁTSYThe concise explanation of the principles and then the development and application of denotational semantic for a class of parallel programming languages is given in the paper.The semantics of monitor type language constructs, which serve the synchronization of concurrent processes, is expressed by a designed system of semantic domains and semantic functions.The developed model is applied to a concrete parallel programming language.