Semantic analysis of communicating sequential processes-Reference-Cited by-同舟云学术

Semantic analysis of communicating sequential processes

Published:1980 Issue: Volume: Page:119-133
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Cousot Patrick,Cousot Radhia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-10003-2_65

Reference18 articles.

1. Apt K., Francez N. & de Roever W.P.[1979a], Semantics for concurrently communicating finite sequential processes, based on predicate transformers, Progress Report, Vakgroep inf., Rijksuniversiteit Utrecht, The Netherlands, (June 1979).

2. Apt K., Francez N. & de Roever W.P.[1979b], A proof system for communicating sequential processes, Tech. Rep. RUU-CS-79-8, Vakgroep Inf., Rijkuniv. Utrecht, NL., (Aug. 79).

3. Chandy K.M. & Misra J.[1979], An axiomatic proof technique for networks of communicating processes, TR 98, Univ. of Texas at Austin, (May 79).

4. Clarke E.M.Jr[1978], Proving correctness of coroutines without history variables, TR-CS-1978-4, Dept. of Comp. Sci., Duke Univ., USA, (1978).

5. Clarke E.M.Jr[1979], Synthesis of resource invariants for concurrent programs, 6th ACM-POPL, (Jan. 1979), 211–221.

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

1. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023

2. On the Need for a Common API for Abstract Domains of Object-Oriented Programs;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07

3. Process-Local Static Analysis of Synchronous Processes;Static Analysis;2018

4. A Parametric Abstract Domain for Lattice-Valued Regular Expressions;Static Analysis;2016

5. Abstract interpretation;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14