On blocks: Locality and asynchronous communication

F. S. de Boer; J. N. Kok; C. Palamidessi; J. J.M.M. Rutten

doi:10.1007/3-540-56596-5_29

On blocks: Locality and asynchronous communication

F. S. de Boer, J. N. Kok, C. Palamidessi, J. J.M.M. Rutten

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

A general construct for locality in languages based on asynchronous communication is introduced which allows a uniform semantic description of such apparently diverse notions as the introduction of local variables in concurrent imperative languages with shared variables and the hiding of logical variables in concurrent constraint languages.

Original language	English
Title of host publication	Semantics
Subtitle of host publication	Foundations and Applications - REX Workshop, Proceedings
Editors	J.W. de Bakker, W.-P. de Roever, G. Rozenberg
Publisher	Springer Verlag
Pages	73-90
Number of pages	18
ISBN (Print)	9783540565963
DOIs	https://doi.org/10.1007/3-540-56596-5_29
Publication status	Published - 1 Jan 1993
Externally published	Yes
Event	REX Workshop on Semantics-Foundations and Applications, 1992 - Beekbergen, Netherlands Duration: 1 Jun 1992 → 4 Jun 1992

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	666 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	REX Workshop on Semantics-Foundations and Applications, 1992
Country/Territory	Netherlands
City	Beekbergen
Period	1/06/92 → 4/06/92

Keywords

Asynchronous communication
Block structure
Locality
Parallelism

Access to Document

10.1007/3-540-56596-5_29

Cite this

de Boer, F. S., Kok, J. N., Palamidessi, C., & Rutten, J. J. M. M. (1993). On blocks: Locality and asynchronous communication. In J. W. de Bakker, W.-P. de Roever, & G. Rozenberg (Eds.), Semantics: Foundations and Applications - REX Workshop, Proceedings (pp. 73-90). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 666 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-56596-5_29

de Boer, F. S. ; Kok, J. N. ; Palamidessi, C. et al. / On blocks : Locality and asynchronous communication. Semantics: Foundations and Applications - REX Workshop, Proceedings. editor / J.W. de Bakker ; W.-P. de Roever ; G. Rozenberg. Springer Verlag, 1993. pp. 73-90 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b71b2529c1af41a69ddf0f453b018835,

title = "On blocks: Locality and asynchronous communication",

abstract = "A general construct for locality in languages based on asynchronous communication is introduced which allows a uniform semantic description of such apparently diverse notions as the introduction of local variables in concurrent imperative languages with shared variables and the hiding of logical variables in concurrent constraint languages.",

keywords = "Asynchronous communication, Block structure, Locality, Parallelism",

author = "\{de Boer\}, \{F. S.\} and Kok, \{J. N.\} and C. Palamidessi and Rutten, \{J. J.M.M.\}",

note = "Publisher Copyright: {\textcopyright} 1993, Springer Verlag. All rights reserved.; REX Workshop on Semantics-Foundations and Applications, 1992 ; Conference date: 01-06-1992 Through 04-06-1992",

year = "1993",

month = jan,

day = "1",

doi = "10.1007/3-540-56596-5\_29",

language = "English",

isbn = "9783540565963",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "73--90",

editor = "\{de Bakker\}, J.W. and \{de Roever\}, W.-P. and G. Rozenberg",

booktitle = "Semantics",

}

de Boer, FS, Kok, JN, Palamidessi, C & Rutten, JJMM 1993, On blocks: Locality and asynchronous communication. in JW de Bakker, W-P de Roever & G Rozenberg (eds), Semantics: Foundations and Applications - REX Workshop, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 666 LNCS, Springer Verlag, pp. 73-90, REX Workshop on Semantics-Foundations and Applications, 1992, Beekbergen, Netherlands, 1/06/92. https://doi.org/10.1007/3-540-56596-5_29

On blocks: Locality and asynchronous communication. / de Boer, F. S.; Kok, J. N.; Palamidessi, C. et al.
Semantics: Foundations and Applications - REX Workshop, Proceedings. ed. / J.W. de Bakker; W.-P. de Roever; G. Rozenberg. Springer Verlag, 1993. p. 73-90 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 666 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - On blocks

T2 - REX Workshop on Semantics-Foundations and Applications, 1992

AU - de Boer, F. S.

AU - Kok, J. N.

AU - Palamidessi, C.

AU - Rutten, J. J.M.M.

PY - 1993/1/1

Y1 - 1993/1/1

N2 - A general construct for locality in languages based on asynchronous communication is introduced which allows a uniform semantic description of such apparently diverse notions as the introduction of local variables in concurrent imperative languages with shared variables and the hiding of logical variables in concurrent constraint languages.

AB - A general construct for locality in languages based on asynchronous communication is introduced which allows a uniform semantic description of such apparently diverse notions as the introduction of local variables in concurrent imperative languages with shared variables and the hiding of logical variables in concurrent constraint languages.

KW - Asynchronous communication

KW - Block structure

KW - Locality

KW - Parallelism

U2 - 10.1007/3-540-56596-5_29

DO - 10.1007/3-540-56596-5_29

M3 - Conference contribution

AN - SCOPUS:0001900658

SN - 9783540565963

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 73

EP - 90

BT - Semantics

A2 - de Bakker, J.W.

A2 - de Roever, W.-P.

A2 - Rozenberg, G.

PB - Springer Verlag

Y2 - 1 June 1992 through 4 June 1992

ER -

de Boer FS, Kok JN, Palamidessi C, Rutten JJMM. On blocks: Locality and asynchronous communication. In de Bakker JW, de Roever WP, Rozenberg G, editors, Semantics: Foundations and Applications - REX Workshop, Proceedings. Springer Verlag. 1993. p. 73-90. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-56596-5_29

On blocks: Locality and asynchronous communication

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this