SCOPUS 정보 검색 플랫폼

Volumn 82, Issue 2, 1991, Pages 253-284

The existence of refinement mappings

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING - THEORY;

FINITE INVISIBLE DETERMINISM; HIERARCHICAL SPECIFICATION; PROGRAM SPECIFICATIONS; REFINEMENT MAPPINGS; SAFETY PROPERTIES;

COMPUTER METATHEORY;

EID: 0026154452 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(91)90224-P Document Type: Article

Times cited : (557)

References (14)

1
- 17244368461
- Recognizing safety and liveness
- Department of Computer Science, Cornell University
- (1986) Technical Report TR86-727
- Alpera¹ Schneider²

2
- 0023208556
- Proving boolean combinations of deterministic properties
- IEEE
- (1987) Proc. 2nd Symp. on Logic in Computer Science , pp. 131-137
- Alpern¹ Schneider²

4
- 0003942431
- Compositional verification of distributed systems
- Uppsala University
- (1987) Ph.D. thesis
- Jonsson¹

6
- 0017472779
- Proving the correctness of multiprocess programs
- (1977) IEEE Transactions on Software Engineering , vol.3 , Issue.2 , pp. 125-143
- Lamport¹

7
- 84976663837
- Specifying concurrent program modules
- (1983) ACM Transactions on Programming Languages and Systems , vol.5 , Issue.2 , pp. 190-222
- Lamport¹

8
- 0021458959
- Protocol verification via projections
- (1984) IEEE Transactions on Software Engineering , vol.10 , Issue.4 , pp. 325-342
- Lam¹ Shankar²

9
- 85031892754
- Hierarchical correctness proofs for distributed algorithms
- ACM
- (1987) Proc. 6th Symp. on the Principles of Distributed Computing , pp. 137-151
- Lynch¹ Tuttle²

10
- 85027657134
- Completeness theorems for automata
- J.W. de Bakker, W.-P. de Roever, G. Rozenberg, Lecture Notes in Computer Science, Springer, Berlin
- (1990) Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness , vol.430 , pp. 544-560
- Merritt¹

11
- 84969361398
- Specification and verification of concurrent programs by ∀-automata
- ACM
- (1987) Proc. 14th Symp. on the Principles of Programming Languages , pp. 1-12
- Manna¹ Pnueli²

12
- 0013455055
- Axiomatic proof techniques for parallel programs
- Cornell University
- (1975) Ph.D. thesis
- Owicki¹

13
- 0022561066
- Proving entailment between conceptual state specifications
- (1988) Theoret. Comput. Sci. , vol.56 , Issue.1 , pp. 135-154
- Stark¹

14
- 0023208534
- Verification of concurrent programs: the automata-theoretic framework
- IEEE
- (1987) Proc. 2nd Symp. on Logic in Computer Science , pp. 167-176
- Vardi¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.