Higher-order communications for concurrent programming

DOI10.1016/S0167-8191(84)90309-0zbMath0581.68023OpenAlexW1983048023MaRDI QIDQ1067776

Andrzej Skowron, Alberto Pettorossi

Publication date: 1985

Published in: Parallel Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-8191(84)90309-0

zbMATH Keywords

correctnessconcurrent programmingcommunicating agentshigher order communicationsrecursive equations programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

This page was built for publication: Higher-order communications for concurrent programming