A domain-theoretic model for a higher-order process calculus

Radha Jagadeesan; Prakash Panangaden

doi:10.1007/bfb0032031

A domain-theoretic model for a higher-order process calculus

Radha Jagadeesan
, Prakash Panangaden

Cornell University

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

Original language	English
Title of host publication	Automata, Languages and Programming - l7th International Colloquium, Proceedings
Editors	Michael S. Paterson
Publisher	Springer Verlag
Pages	181-194
Number of pages	14
ISBN (Print)	9783540528265
DOIs	https://doi.org/10.1007/bfb0032031
State	Published - 1990
Externally published	Yes
Event	17th International Colloquium on Automata, Languages and Programming, 1990 - Warwick, United Kingdom Duration: Jul 16 1990 → Jul 20 1990

Publication series

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

Conference

Conference	17th International Colloquium on Automata, Languages and Programming, 1990
Country/Territory	United Kingdom
City	Warwick
Period	7/16/90 → 7/20/90

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/bfb0032031

Cite this

Jagadeesan, R., & Panangaden, P. (1990). A domain-theoretic model for a higher-order process calculus. In M. S. Paterson (Ed.), Automata, Languages and Programming - l7th International Colloquium, Proceedings (pp. 181-194). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 443 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0032031

A domain-theoretic model for a higher-order process calculus. / Jagadeesan, Radha; Panangaden, Prakash.
Automata, Languages and Programming - l7th International Colloquium, Proceedings. ed. / Michael S. Paterson. Springer Verlag, 1990. p. 181-194 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 443 LNCS).

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

Jagadeesan, R & Panangaden, P 1990, A domain-theoretic model for a higher-order process calculus. in MS Paterson (ed.), Automata, Languages and Programming - l7th International Colloquium, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 443 LNCS, Springer Verlag, pp. 181-194, 17th International Colloquium on Automata, Languages and Programming, 1990, Warwick, United Kingdom, 7/16/90. https://doi.org/10.1007/bfb0032031

Jagadeesan R, Panangaden P. A domain-theoretic model for a higher-order process calculus. In Paterson MS, editor, Automata, Languages and Programming - l7th International Colloquium, Proceedings. Springer Verlag. 1990. p. 181-194. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0032031

Jagadeesan, Radha ; Panangaden, Prakash. / A domain-theoretic model for a higher-order process calculus. Automata, Languages and Programming - l7th International Colloquium, Proceedings. editor / Michael S. Paterson. Springer Verlag, 1990. pp. 181-194 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3eac1f46862745f4bd86f4dfdc1947d6,

title = "A domain-theoretic model for a higher-order process calculus",

author = "Radha Jagadeesan and Prakash Panangaden",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1990.; 17th International Colloquium on Automata, Languages and Programming, 1990 ; Conference date: 16-07-1990 Through 20-07-1990",

year = "1990",

doi = "10.1007/bfb0032031",

language = "English",

isbn = "9783540528265",

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

publisher = "Springer Verlag",

pages = "181--194",

editor = "Paterson, \{Michael S.\}",

booktitle = "Automata, Languages and Programming - l7th International Colloquium, Proceedings",

}

TY - GEN

T1 - A domain-theoretic model for a higher-order process calculus

AU - Jagadeesan, Radha

AU - Panangaden, Prakash

PY - 1990

Y1 - 1990

UR - https://www.scopus.com/pages/publications/85031940978

UR - https://www.scopus.com/pages/publications/85031940978#tab=citedBy

U2 - 10.1007/bfb0032031

DO - 10.1007/bfb0032031

M3 - Conference contribution

AN - SCOPUS:85031940978

SN - 9783540528265

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

SP - 181

EP - 194

BT - Automata, Languages and Programming - l7th International Colloquium, Proceedings

A2 - Paterson, Michael S.

PB - Springer Verlag

T2 - 17th International Colloquium on Automata, Languages and Programming, 1990

Y2 - 16 July 1990 through 20 July 1990

ER -

A domain-theoretic model for a higher-order process calculus

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this