A sound and complete reasoning system for asynchronous communication with shared futures-Reference-Cited by-同舟云学术

A sound and complete reasoning system for asynchronous communication with shared futures

Published:2014-09 Issue:5-6 Volume:83 Page:360-383
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Din Crystal Chang,Owe Olaf

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference36 articles.

1. Open Distributed Processing – Reference Model, parts 1–4;International Telecommunication Union,1995

2. Formalising Java RMI with explicit code mobility;Ahern;Theor. Comput. Sci.,2007

3. O.-J. Dahl, O. Owe, Formal methods and the RM-ODP, Tech. Rep. Research Report 261, Dept. of Informatics, Univ. of Oslo, Full version of a paper presented at NWPT'98: Nordic Workshop on Programming Theory, Turku, 1998.

4. The incremental garbage collection of processes;Baker,1977

5. Multilisp: a language for concurrent symbolic computation;Halstead;ACM Trans. Program. Lang. Syst.,1985

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

1. Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages;ACM Transactions on Programming Languages and Systems;2024-03-29

2. Deductive verification of active objects with Crowbar;Science of Computer Programming;2023-03

3. A Notion of Equivalence for Refactorings with Abstract Execution;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022

4. Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects;The Logic of Software. A Tasting Menu of Formal Methods;2022

5. A Framework for Flexible Program Evolution and Verification of Distributed Systems;Communications in Computer and Information Science;2020