On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences

F.S. Boer, de; C. Palamidessi

doi:10.1007/BFb0039054

On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences

F.S. Boer, de, C. Palamidessi

Mathematics and Computer Science

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

19 Citations (Scopus)

Original language	English
Title of host publication	CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)
Editors	J.C.M. Baeten, J.W. Klop
Place of Publication	Berlin
Publisher	Springer
Pages	99-114
ISBN (Print)	3-540-53048-7
DOIs	https://doi.org/10.1007/BFb0039054
Publication status	Published - 1990

Publication series

Name	Lecture Notes in Computer Science
Volume	458
ISSN (Print)	0302-9743

Access to Document

10.1007/BFb0039054

Cite this

Boer, de, F. S., & Palamidessi, C. (1990). On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences. In J. C. M. Baeten, & J. W. Klop (Eds.), CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990) (pp. 99-114). (Lecture Notes in Computer Science; Vol. 458). Springer. https://doi.org/10.1007/BFb0039054

Boer, de, F.S. ; Palamidessi, C. / On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences. CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990). editor / J.C.M. Baeten ; J.W. Klop. Berlin : Springer, 1990. pp. 99-114 (Lecture Notes in Computer Science).

@inproceedings{a687be71c5ca4f8aa6caee657c9ac997,

title = "On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences",

author = "{Boer, de}, F.S. and C. Palamidessi",

year = "1990",

doi = "10.1007/BFb0039054",

language = "English",

isbn = "3-540-53048-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "99--114",

editor = "J.C.M. Baeten and J.W. Klop",

booktitle = "CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)",

address = "Germany",

}

Boer, de, FS & Palamidessi, C 1990, On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences. in JCM Baeten & JW Klop (eds), CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990). Lecture Notes in Computer Science, vol. 458, Springer, Berlin, pp. 99-114. https://doi.org/10.1007/BFb0039054

On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences. / Boer, de, F.S.; Palamidessi, C.
CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990). ed. / J.C.M. Baeten; J.W. Klop. Berlin: Springer, 1990. p. 99-114 (Lecture Notes in Computer Science; Vol. 458).

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

TY - GEN

T1 - On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences

AU - Boer, de, F.S.

AU - Palamidessi, C.

PY - 1990

Y1 - 1990

U2 - 10.1007/BFb0039054

DO - 10.1007/BFb0039054

M3 - Conference contribution

SN - 3-540-53048-7

T3 - Lecture Notes in Computer Science

SP - 99

EP - 114

BT - CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990)

A2 - Baeten, J.C.M.

A2 - Klop, J.W.

PB - Springer

CY - Berlin

ER -

Boer, de FS, Palamidessi C. On the asynchronous nature of communication in concurrent logic languages : a fully abstract model based on sequences. In Baeten JCM, Klop JW, editors, CONCUR'90 (Proceedings 1st International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 27-30, 1990). Berlin: Springer. 1990. p. 99-114. (Lecture Notes in Computer Science). doi: 10.1007/BFb0039054