Predicative specifications for functional programs describing communicating networks

Manfred Broy

doi:10.1016/0020-0190(87)90227-4

Predicative specifications for functional programs describing communicating networks

Manfred Broy

Universität Passau

Research output: Contribution to journal › Article › peer-review

20 Scopus citations

Original language	English
Pages (from-to)	93-101
Number of pages	9
Journal	Information Processing Letters
Volume	25
Issue number	2
DOIs	https://doi.org/10.1016/0020-0190(87)90227-4
State	Published - 6 May 1987
Externally published	Yes

Keywords

Predicative specification
communicating system
functional programming
nondeterminism

Access to Document

10.1016/0020-0190(87)90227-4

Cite this

@article{42866bb226df477583279714742bfb9f,

title = "Predicative specifications for functional programs describing communicating networks",

keywords = "Predicative specification, communicating system, functional programming, nondeterminism",

author = "Manfred Broy",

year = "1987",

month = may,

day = "6",

doi = "10.1016/0020-0190(87)90227-4",

language = "English",

volume = "25",

pages = "93--101",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "2",

}

TY - JOUR

T1 - Predicative specifications for functional programs describing communicating networks

AU - Broy, Manfred

PY - 1987/5/6

Y1 - 1987/5/6

KW - Predicative specification

KW - communicating system

KW - functional programming

KW - nondeterminism

UR - http://www.scopus.com/inward/record.url?scp=0023646416&partnerID=8YFLogxK

U2 - 10.1016/0020-0190(87)90227-4

DO - 10.1016/0020-0190(87)90227-4

M3 - Article

AN - SCOPUS:0023646416

SN - 0020-0190

VL - 25

SP - 93

EP - 101

JO - Information Processing Letters

JF - Information Processing Letters

IS - 2

ER -

Predicative specifications for functional programs describing communicating networks

Keywords

Access to Document

Other files and links

Cite this