Denotational semantics of program schemas for languages for communicating sequential processes

MaRDI QIDQ1901127zbMATH OpenFDO

Authors Yu. P. Korablin, S. D. Nalitov

Publication date 5 November 1995

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsdistributed programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• Axiomatic semantics of communicating sequential processes
• Denotational semantics of communicating sequential programs
• scientific article; zbMATH DE number 4050949
• scientific article; zbMATH DE number 3890713
• A linear-history semantics for languages for distributed programming

Cited in

(10)

• scientific article; zbMATH DE number 4062561 (Why is no real title available?)
• scientific article; zbMATH DE number 4050949 (Why is no real title available?)
• scientific article; zbMATH DE number 1973989 (Why is no real title available?)
• scientific article; zbMATH DE number 3902014 (Why is no real title available?)
• Denotational semantics of mixed computation processes for a structural programming language
• Denotational semantics of communicating sequential programs
• A linear-history semantics for languages for distributed programming
• Processes as formal power series: a coinductive approach to denotational semantics
• Axiomatic semantics of communicating sequential processes
• A denotational semantics for parameterised networks of synchronised automata

This page was built for publication: Denotational semantics of program schemas for languages for communicating sequential processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1901127)