A systematic approach to language constructs for concurrent programs
type: Item
instance of: scholarly article
title: A systematic approach to language constructs for concurrent programs
zbMATH Open document ID: 0536.68013
DOI: 10.1016/0167-6423(84)90016-9
author: Manfred Broy
author: Friedrich L. Bauer
published in: Science of Computer Programming
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3852399
zbMATH Keywords: specification
zbMATH Keywords: verification
zbMATH Keywords: functional and applicative programming
MaRDI profile type: Publication
full work available at URL: 0167-6423(84)90016-9
OpenAlex ID: W2009935272
Recommended article: On implementations and semantics of a concurrent programming language
Recommended article: Q3742700
Recommended article: Q5186744
Recommended article: Towards a language for concurrent processes
Recommended article: Q3704884
Recommended article: An Algorithmic Framework for Synthesis of Concurrent Programs
Recommended article: A functional programming approach to the specification and verification of concurrent systems
Recommended article: Q3736897
description: scientific article; zbMATH DE number 3852399