Broadcasting buffering communication

Manfred Broy

doi:10.1016/0096-0551(88)90005-7

Broadcasting buffering communication

Manfred Broy

Universität Passau

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

2 Zitate (Scopus)

Abstract

A language is suggested for representing broadcasting buffering communicating (BBC) systems. In contrast to hand shaking communication following the rendezvous-concept the language describes loosely coupled communicating systems. Both mathematical and operational semantics are defined and several issues of the language are discussed. In particular the relationship to Milner's calculus of communicating systems, Hoare's communicating sequential processes and Church's lambda-calculus is briefly investigated.

Originalsprache	Englisch
Seiten (von - bis)	31-47
Seitenumfang	17
Fachzeitschrift	Computer Languages
Jahrgang	13
Ausgabenummer	1
DOIs	https://doi.org/10.1016/0096-0551(88)90005-7
Publikationsstatus	Veröffentlicht - 1988
Extern publiziert	Ja

Zugriff auf Dokument

10.1016/0096-0551(88)90005-7

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

@article{f1ee978a967e4968a59f63132a0fe196,

title = "Broadcasting buffering communication",

abstract = "A language is suggested for representing broadcasting buffering communicating (BBC) systems. In contrast to hand shaking communication following the rendezvous-concept the language describes loosely coupled communicating systems. Both mathematical and operational semantics are defined and several issues of the language are discussed. In particular the relationship to Milner's calculus of communicating systems, Hoare's communicating sequential processes and Church's lambda-calculus is briefly investigated.",

keywords = "Broadcasting, Communicating systems, Concurrency, Denotational semantics, Operational semantics",

author = "Manfred Broy",

year = "1988",

doi = "10.1016/0096-0551(88)90005-7",

language = "English",

volume = "13",

pages = "31--47",

journal = "Computer Languages",

issn = "0096-0551",

publisher = "Pergamon Press Ltd.",

number = "1",

}

TY - JOUR

T1 - Broadcasting buffering communication

AU - Broy, Manfred

PY - 1988

Y1 - 1988

N2 - A language is suggested for representing broadcasting buffering communicating (BBC) systems. In contrast to hand shaking communication following the rendezvous-concept the language describes loosely coupled communicating systems. Both mathematical and operational semantics are defined and several issues of the language are discussed. In particular the relationship to Milner's calculus of communicating systems, Hoare's communicating sequential processes and Church's lambda-calculus is briefly investigated.

AB - A language is suggested for representing broadcasting buffering communicating (BBC) systems. In contrast to hand shaking communication following the rendezvous-concept the language describes loosely coupled communicating systems. Both mathematical and operational semantics are defined and several issues of the language are discussed. In particular the relationship to Milner's calculus of communicating systems, Hoare's communicating sequential processes and Church's lambda-calculus is briefly investigated.

KW - Broadcasting

KW - Communicating systems

KW - Concurrency

KW - Denotational semantics

KW - Operational semantics

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

U2 - 10.1016/0096-0551(88)90005-7

DO - 10.1016/0096-0551(88)90005-7

M3 - Article

AN - SCOPUS:0023828151

SN - 0096-0551

VL - 13

SP - 31

EP - 47

JO - Computer Languages

JF - Computer Languages

IS - 1

ER -

Broadcasting buffering communication

Abstract

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Dieses zitieren