Dealing denotationally with stream-based communication
From MaRDI portal
Publication:2850667
zbMATH Open1272.68085MaRDI QIDQ2850667
Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
Publication date: 27 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050826
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication: Dealing denotationally with stream-based communication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2850667)