Broadcasting buffering communication

Manfred Broy

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

Broadcasting buffering communication

Manfred Broy

Universität Passau

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

2 Scopus citations

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.

Original language	English
Pages (from-to)	31-47
Number of pages	17
Journal	Computer Languages
Volume	13
Issue number	1
DOIs	https://doi.org/10.1016/0096-0551(88)90005-7
State	Published - 1988
Externally published	Yes

Keywords

Broadcasting
Communicating systems
Concurrency
Denotational semantics
Operational semantics

Access to Document

10.1016/0096-0551(88)90005-7

Cite this

@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

Keywords

Access to Document

Other files and links

Fingerprint

Cite this