Universal realization, persistent interconnection and implementation of abstract modules

J. Goguen; J. Meseguer

doi:10.1007/BFb0012775

Universal realization, persistent interconnection and implementation of abstract modules

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

Original language	English (US)
Title of host publication	Automata, Languages and Programming - 9th Colloquium
Editors	Mogens Nielsen, Erik Meineche Schmidt
Publisher	Springer
Pages	265-281
Number of pages	17
ISBN (Print)	9783540115762
DOIs	https://doi.org/10.1007/BFb0012775
State	Published - 1982
Externally published	Yes
Event	9th International Colloquium on Automata, Languages and Programming, ICALP 1982 - Aarhus, Denmark Duration: Jul 12 1982 → Jul 16 1982

Publication series

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

Other

Other	9th International Colloquium on Automata, Languages and Programming, ICALP 1982
Country/Territory	Denmark
City	Aarhus
Period	7/12/82 → 7/16/82

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Online availability

10.1007/BFb0012775

Library availability

Discover UIUC Full Text

Cite this

Goguen, J., & Meseguer, J. (1982). Universal realization, persistent interconnection and implementation of abstract modules. In M. Nielsen, & E. M. Schmidt (Eds.), Automata, Languages and Programming - 9th Colloquium (pp. 265-281). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 140 LNCS). Springer. https://doi.org/10.1007/BFb0012775

Universal realization, persistent interconnection and implementation of abstract modules. / Goguen, J.; Meseguer, J.
Automata, Languages and Programming - 9th Colloquium. ed. / Mogens Nielsen; Erik Meineche Schmidt. Springer, 1982. p. 265-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 140 LNCS).

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

Goguen, J & Meseguer, J 1982, Universal realization, persistent interconnection and implementation of abstract modules. in M Nielsen & EM Schmidt (eds), Automata, Languages and Programming - 9th Colloquium. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 140 LNCS, Springer, pp. 265-281, 9th International Colloquium on Automata, Languages and Programming, ICALP 1982, Aarhus, Denmark, 7/12/82. https://doi.org/10.1007/BFb0012775

Goguen J, Meseguer J. Universal realization, persistent interconnection and implementation of abstract modules. In Nielsen M, Schmidt EM, editors, Automata, Languages and Programming - 9th Colloquium. Springer. 1982. p. 265-281. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0012775

Goguen, J. ; Meseguer, J. / Universal realization, persistent interconnection and implementation of abstract modules. Automata, Languages and Programming - 9th Colloquium. editor / Mogens Nielsen ; Erik Meineche Schmidt. Springer, 1982. pp. 265-281 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4484d9631a2646d2a322e7cb5ad646b6,

title = "Universal realization, persistent interconnection and implementation of abstract modules",

author = "J. Goguen and J. Meseguer",

note = "Funding Information: Supported in part by Office of Naval Research Contract N00014-80-0296.; 9th International Colloquium on Automata, Languages and Programming, ICALP 1982 ; Conference date: 12-07-1982 Through 16-07-1982",

year = "1982",

doi = "10.1007/BFb0012775",

language = "English (US)",

isbn = "9783540115762",

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

publisher = "Springer",

pages = "265--281",

editor = "Mogens Nielsen and Schmidt, {Erik Meineche}",

booktitle = "Automata, Languages and Programming - 9th Colloquium",

address = "Germany",

}

TY - GEN

T1 - Universal realization, persistent interconnection and implementation of abstract modules

AU - Goguen, J.

AU - Meseguer, J.

N1 - Funding Information: Supported in part by Office of Naval Research Contract N00014-80-0296.

PY - 1982

Y1 - 1982

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

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

U2 - 10.1007/BFb0012775

DO - 10.1007/BFb0012775

M3 - Conference contribution

AN - SCOPUS:84955587325

SN - 9783540115762

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

SP - 265

EP - 281

BT - Automata, Languages and Programming - 9th Colloquium

A2 - Nielsen, Mogens

A2 - Schmidt, Erik Meineche

PB - Springer

T2 - 9th International Colloquium on Automata, Languages and Programming, ICALP 1982

Y2 - 12 July 1982 through 16 July 1982

ER -

Universal realization, persistent interconnection and implementation of abstract modules

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Cite this