Non-deterministic data types: models and implementations-Reference-Cited by-同舟云学术

Non-deterministic data types: models and implementations

Published:1986-03 Issue:6 Volume:22 Page:629-661
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Nipkow Tobias

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00263649.pdf

Reference34 articles.

1. Brooks, S.D., Rounds, W.C.: Behavioral Equivalence Relations Induced by Programming Logics. In: ICALP '83. Lect. Notes Comput. Sci. 154, 97?108 (1983)

2. Broy, M.: A Fixed Point Approach to Applicative Multiprogramming. In: ([4], 565?622)

3. Broy, M.: Fixed Point Theory for Communication and Concurrency. In: Formal Descriptions of Programming Concepts (D. Bj�rner, ed.), pp. 125?147. Amsterdam: North-Holland 1983

4. Broy, M., Schmidt, G. (eds.): Theoretical Foundations of Programming Methodology. Dordrecht: Reidel 1982

5. 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)

Cited by 68 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Clarifying Assumptions;Lecture Notes in Computer Science;2024

2. Software Specification;Theories of Programming;2021-10-02

3. Data Refinement in Isabelle/HOL;Interactive Theorem Proving;2013

4. Abstraction as a Unifying Link for Formal Approaches to Concurrency;Software Engineering and Formal Methods;2012

5. Elucidating concurrent algorithms via layers of abstraction and reification;Formal Aspects of Computing;2011-05