Proving entailment between conceptual state specifications

Authors:
Eugene W. Stark
Affiliations:
State Univ. of New York at Stony Brook, Stony Brook
Venue:
Theoretical Computer Science - First European Symposium on Programming, Saarbru:9Aicken, W. Germany, March 17:8
Year:
1988

Citing 0
Cited 8

Compositional specification and verification of distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Relating communicating processes with different interfaces

Fundamenta Informaticae
A theory of normed simulations

ACM Transactions on Computational Logic (TOCL)
Proving refinement using transduction

Distributed Computing - Special issue: Verification of lazy caching
Behaviour Abstraction for Communicating Sequential Processes

Fundamenta Informaticae
Relaxing property preservation in the refinement of concurrent systems

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Relating Communicating Processes with Different Interfaces

Fundamenta Informaticae
Behaviour Abstraction for Communicating Sequential Processes

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract