Denotational semantics of program schemas for languages for communicating sequential processes
From MaRDI portal
Publication:1901127
zbMath0834.68071MaRDI QIDQ1901127
Yu. P. Korablin, S. D. Nalitov
Publication date: 5 November 1995
Published in: Programming and Computer Software (Search for Journal in Brave)
This page was built for publication: Denotational semantics of program schemas for languages for communicating sequential processes