{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:21:38Z","timestamp":1742390498582},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1986,3,1]],"date-time":"1986-03-01T00:00:00Z","timestamp":510019200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,3]]},"DOI":"10.1007\/bf00263649","type":"journal-article","created":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T11:21:28Z","timestamp":1096629688000},"page":"629-661","source":"Crossref","is-referenced-by-count":70,"title":["Non-deterministic data types: models and implementations"],"prefix":"10.1007","volume":"22","author":[{"given":"Tobias","family":"Nipkow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0036900","volume":"154","author":"S.D. Brooks","year":"1983","unstructured":"Brooks, S.D., Rounds, W.C.: Behavioral Equivalence Relations Induced by Programming Logics. In: ICALP '83. Lect. Notes Comput. Sci. 154, 97?108 (1983)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Broy, M.: A Fixed Point Approach to Applicative Multiprogramming. In: ([4], 565?622)","DOI":"10.1007\/978-94-009-7893-5_16"},{"key":"CR3","first-page":"125","volume-title":"Formal Descriptions of Programming Concepts","author":"M. Broy","year":"1983","unstructured":"Broy, M.: Fixed Point Theory for Communication and Concurrency. In: Formal Descriptions of Programming Concepts (D. Bj\ufffdrner, ed.), pp. 125?147. Amsterdam: North-Holland 1983"},{"key":"CR4","volume-title":"Theoretical Foundations of Programming Methodology","year":"1982","unstructured":"Broy, M., Schmidt, G. (eds.): Theoretical Foundations of Programming Methodology. Dordrecht: Reidel 1982"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-10828-9_61","volume":"112","author":"M. Broy","year":"1981","unstructured":"Broy, M., Wirsing, M.: On the Algebraic Specification of Non-deterministic Programming Languages. In: Proc. CAAP '81. Lect. Notes Comput. Sci. 112, 162?179 (1981)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Types. Acta Inf. 18(1982)","DOI":"10.1007\/BF00625280"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Burmeister, P.: Partial algebras ? survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Univers. 15 (1982)","DOI":"10.1007\/BF02483730"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Burstall, R.M., Goguen, J.A.: Algebras, Theories and Freeness: an Introduction for Computer Scientists. In: ([4], 329?348)","DOI":"10.1007\/978-94-009-7893-5_11"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-15198-2_14","volume":"185","author":"I. Castellani","year":"1985","unstructured":"Castellani, I.: Bisimulations and Abstraction Homomorphisms. In: Proc. CAAP '85. Lect. Notes Comput. Sci. 185, 223?238 (1985)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Chandra, A.K.: Computable Nondeterministic Functions. In: Proc. 19th Annual Symposium on Foundations of Computer Science, 1978","DOI":"10.1109\/SFCS.1978.10"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1007\/BFb0036936","volume":"154","author":"R Nicola de","year":"1983","unstructured":"de Nicola, R., Hennessy, M.C.B.: Testing Equivalences for Processes. In: Proc. ICALP '83. Lect. Notes Comput. Sci. 154, 548?560 (1983)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR12","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Englewood Cliffs, New Jersey: Prentice-Hall 1976"},{"key":"CR13","unstructured":"Ehrig, H.: Combining Initial and Loose Algebraic Specification Methods Including Compositionality and Modules. In: Proc. Workshop on Formal Software Development: Combining Specification Methods, Nyborg 1984 (To appear)"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BFb0012770","volume":"140","author":"H. Ehrig","year":"1982","unstructured":"Ehrig, H., Kreowski, H.-J.: Parameter Passing Commutes with Implementation of Parameterized Data Types. In: Proc. ICALP '82. Lect. Notes Comput. Sci. 140, 197?211 (1982)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0012775","volume":"140","author":"J.A. Goguen","year":"1982","unstructured":"Goguen, J.A., Messeguer, J.: Universal Realization, Persistent Interconnection and Implementation of Abstract Modules. In: Proc. ICALP '82. Lect. Notes Comput. Sci. 140, 265?281 (1982)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR16","volume-title":"Current Trends in Programming Methodology, Vol. 4","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness, and implementation of abstract data types. In: Current Trends in Programming Methodology, Vol. 4. (R.T. Yeh, ed.). Englewood Cliffs: Prentice-Hall 1978"},{"key":"CR17","unstructured":"Hansoul, G.: Systemes Relationnels Et Algebres Multiformes. PhD Thesis, Universite de Liege, 1979\/80"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency, J. Assoc. Comput. Mach. 32, 137?161 (1985)","journal-title":"J. Assoc. Comput. Mach."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Proof of Correctness of Data Representations, Acta Inf. 1 (1972)","DOI":"10.1007\/BF00289507"},{"key":"CR20","volume-title":"Data Refinement Refined","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R., Hayes, I.J., Jifeng He, Morgan, C.C., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.: Data Refinement Refined. PRG Oxford, Draft May 1985"},{"key":"CR21","volume-title":"Software Development: A Rigorous Approach","author":"C.B. Jones","year":"1980","unstructured":"Jones, C.B.: Software Development: A Rigorous Approach. Englewood Cliffs: Prentice-Hall 1980"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. Oxford University, PRG Monograph 25, 1981","DOI":"10.1016\/0098-3004(81)90043-1"},{"key":"CR23","unstructured":"Milner, R.: An Algebraic Definition of Simulation Between Programs. Report CS-205, Computer Science Department, Stanford University 1971"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Milner, R.: A Calculus of Communicating Systems. Lect. Notes Comput. Sci 92 (1980)","DOI":"10.1007\/3-540-10235-3"},{"key":"CR25","unstructured":"Nipkow, T.: Nondeterministic Data Types: Models and Implementations. Draft Version, Dept. of Computer Science, The University of Manchester, March 1985"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"Park, D.M.R.: On the Semantics of Fair Parallelism. In: Abstract Software Specification (D. Bj\ufffdrner, ed.). Lect. Notes Comput. Sci. 86, 504?526 (1980)","DOI":"10.1007\/3-540-10007-5_47"},{"key":"CR27","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BFb0017309","volume":"104","author":"D.M.R. Park","year":"1981","unstructured":"Park, D.M.R.: Concurrency and Automata on Infinite Sequences. In: Lect. Notes Comput. Sci. 104, 167?183 (1981)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR28","unstructured":"Reichel, H.: Initial Restrictions of Behaviour. In: Proc. IFIP Working Conference. The Role of Abstract Models in Information Processing, Vienna, January 1985 (To appear)"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1007\/3-540-15198-2_20","volume":"185","author":"D.T. Sannella","year":"1985","unstructured":"Sannella, D.T., Tarlecki, A.: On Observational Equivalence and Algebraic Specification. In: Proc. CAAP '85. Lect. Notes Comput. Sci. 185, 308?322 (1985)","journal-title":"Lect. Notes Comput. Sci"},{"key":"CR30","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/3-540-12689-9_122","volume":"158","author":"D.T. Sannella","year":"1983","unstructured":"Sannella, D.T., Wirsing, M.: A Kernel Language for Algebraic Specification and Implementation. In: Proc. FCT '83. Lect. Notes Comput. Sci. 158, 413?427 (1983)","journal-title":"Lect. Notes Comput. Sci."},{"key":"CR31","unstructured":"Schoett, O.: Ein Modulkonzept in der Theorie Abstrakter Datentypen. Report IfI-HH-B-81\/81, Universit\ufffdt Hamburg, Fachbereich Informatik, 1981"},{"key":"CR32","unstructured":"Schoett, O.: A Theory of Program Modules, their Specification and Implementation. Report CSR-155-83, Dept. of Computer Science, University of Edinburgh 1983"},{"key":"CR33","unstructured":"Schoett, O.: Behavioural Correctness of Data Representations. Report CSR-185-85, Dept. of Computer Science, University of Edinburgh 1985"},{"key":"CR34","volume-title":"Mathematical Logic","author":"R.J. Shoenfield","year":"1967","unstructured":"Shoenfield, R.J.: Mathematical Logic, Reading, MA: Addison-Wesley 1967"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263649.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00263649\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00263649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:38:38Z","timestamp":1585899518000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00263649"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,3]]},"references-count":34,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1986,3]]}},"alternative-id":["BF00263649"],"URL":"https:\/\/doi.org\/10.1007\/bf00263649","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,3]]}}}