Universal realization, persistent interconnection and implementation of abstract modules

J. Goguen, J. Meseguer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationAutomata, Languages and Programming - 9th Colloquium
EditorsMogens Nielsen, Erik Meineche Schmidt
PublisherSpringer-Verlag
Pages265-281
Number of pages17
ISBN (Print)9783540115762
DOIs
StatePublished - Jan 1 1982
Event9th International Colloquium on Automata, Languages and Programming, ICALP 1982 - Aarhus, Denmark
Duration: Jul 12 1982Jul 16 1982

Publication series

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

Other

Other9th International Colloquium on Automata, Languages and Programming, ICALP 1982
CountryDenmark
CityAarhus
Period7/12/827/16/82

Fingerprint

Interconnection
Module

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

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-Verlag. 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-Verlag, 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 proceedingConference 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-Verlag, 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-Verlag. 1982. p. 265-281. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/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-Verlag, 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",
year = "1982",
month = "1",
day = "1",
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-Verlag",
pages = "265--281",
editor = "Mogens Nielsen and Schmidt, {Erik Meineche}",
booktitle = "Automata, Languages and Programming - 9th Colloquium",

}

TY - GEN

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

AU - Goguen, J.

AU - Meseguer, J.

PY - 1982/1/1

Y1 - 1982/1/1

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-Verlag

ER -