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

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

20 Zitate (Scopus)

Originalsprache	Englisch
Seiten (von - bis)	93-101
Seitenumfang	9
Fachzeitschrift	Information Processing Letters
Jahrgang	25
Ausgabenummer	2
DOIs	https://doi.org/10.1016/0020-0190(87)90227-4
Publikationsstatus	Veröffentlicht - 6 Mai 1987
Extern publiziert	Ja

Zugriff auf Dokument

10.1016/0020-0190(87)90227-4

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@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 -