Observing nondeterministic data types

Tobias Nipkow

doi:10.1007/3-540-50325-0_9

Observing nondeterministic data types

Tobias Nipkow

Massachusetts Institute of Technology

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

9 Scopus citations

Original language	English
Title of host publication	Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers
Editors	Andrzej Tarlecki, Donald Sannella
Publisher	Springer Verlag
Pages	170-183
Number of pages	14
ISBN (Print)	9783540503255
DOIs	https://doi.org/10.1007/3-540-50325-0_9
State	Published - 1988
Externally published	Yes
Event	5th Workshop on Specification of Abstract Data Types, 1987 - Gullane, United Kingdom Duration: 1 Sep 1987 → 4 Sep 1987

Publication series

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

Conference

Conference	5th Workshop on Specification of Abstract Data Types, 1987
Country/Territory	United Kingdom
City	Gullane
Period	1/09/87 → 4/09/87

Access to Document

10.1007/3-540-50325-0_9

Cite this

Nipkow, T. (1988). Observing nondeterministic data types. In A. Tarlecki, & D. Sannella (Eds.), Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers (pp. 170-183). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 332 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-50325-0_9

Nipkow, Tobias. / Observing nondeterministic data types. Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers. editor / Andrzej Tarlecki ; Donald Sannella. Springer Verlag, 1988. pp. 170-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{87d8072f7b4341a9afb99051d46648cc,

title = "Observing nondeterministic data types",

author = "Tobias Nipkow",

year = "1988",

doi = "10.1007/3-540-50325-0_9",

language = "English",

isbn = "9783540503255",

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

publisher = "Springer Verlag",

pages = "170--183",

editor = "Andrzej Tarlecki and Donald Sannella",

booktitle = "Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers",

note = "5th Workshop on Specification of Abstract Data Types, 1987 ; Conference date: 01-09-1987 Through 04-09-1987",

}

Nipkow, T 1988, Observing nondeterministic data types. in A Tarlecki & D Sannella (eds), Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 332 LNCS, Springer Verlag, pp. 170-183, 5th Workshop on Specification of Abstract Data Types, 1987, Gullane, United Kingdom, 1/09/87. https://doi.org/10.1007/3-540-50325-0_9

Observing nondeterministic data types. / Nipkow, Tobias.
Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers. ed. / Andrzej Tarlecki; Donald Sannella. Springer Verlag, 1988. p. 170-183 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 332 LNCS).

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

TY - GEN

T1 - Observing nondeterministic data types

AU - Nipkow, Tobias

PY - 1988

Y1 - 1988

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

U2 - 10.1007/3-540-50325-0_9

DO - 10.1007/3-540-50325-0_9

M3 - Conference contribution

AN - SCOPUS:84974670796

SN - 9783540503255

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

SP - 170

EP - 183

BT - Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers

A2 - Tarlecki, Andrzej

A2 - Sannella, Donald

PB - Springer Verlag

T2 - 5th Workshop on Specification of Abstract Data Types, 1987

Y2 - 1 September 1987 through 4 September 1987

ER -

Nipkow T. Observing nondeterministic data types. In Tarlecki A, Sannella D, editors, Recent Trends in Data Type Specification - 5th Workshop on Specification of Abstract Data Types, Selected Papers. Springer Verlag. 1988. p. 170-183. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-50325-0_9

Observing nondeterministic data types

Publication series

Conference

Access to Document

Other files and links

Cite this