Constraining interference in an object-based design method-Reference-Cited by-同舟云学术

Constraining interference in an object-based design method

Published:1993 Issue: Volume: Page:136-150
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Jones C. B.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56610-4_61.pdf

Reference44 articles.

1. P. America and F. dc Boer. A proof system for process creation. In [BJ90], pages 303–332,1990.

2. Pierre America. A proof theory for a sequential version of POOL. Technical Report 0188, Philips Research Laboratories, Philips Research Laboratories, Nederlandse Philips Bedrijven, B.V., September 1986.

3. Pierre America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4), 1989.

4. P. America. Formal techniques for parallel object-oriented languages. In [BG91], pages 1–17, 1991.

5. Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis. Free University of Amsterdam, 1989.

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

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

2. Generic go to go: dictionary-passing, monomorphisation, and hybrid;Proceedings of the ACM on Programming Languages;2022-10-31

3. Formal Methods and Dependability;Lecture Notes in Computer Science;2000

4. Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects;Theory and Practice of Object Systems;1999-01

5. Semantics of Objects As Processes (SOAP);Object-Oriented Technology ECOOP’99 Workshop Reader;1999