Denotational semantics of program schemas for languages for communicating sequential processes

zbMATH Open0834.68071MaRDI QIDQ1901127FDOQ1901127

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Processes as formal power series: a coinductive approach to denotational semantics

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)