SCOPUS 정보 검색 플랫폼

Volumn 151, Issue 1, 1995, Pages 195-205

An extensional treatment of lazy data flow deadlock

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SYSTEMS; DATA COMMUNICATION SYSTEMS;

EXTENSIONAL THEORY; LAZY DATA FLOW DEADLOCK; PARTIAL METRIC SPACES;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0029405908 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(95)00051-W Document Type: Article

Times cited : (55)

References (11)

1
- 0347642542
- An operational semantics for pure dataflow, ICALP82
- 2nd ed., Springer, Berlin
- (1982) Lecture Notes in Mathematics , vol.140 , pp. 212-224
- Faustini¹

2
- 0001400225
- CONS should not evaluate its arguments
- S. Michaelson, R. Milner, Edinburgh University Press
- (1976) Automata Languages and Programming
- Friedman¹ Wise²

3
- 84945708698
- An axiomatic basis for computer programming
- (1969) Communications of the ACM , vol.12 , pp. 576-583
- Hoare¹

4
- 18944381189
- A metalogical analysis of vagueness: an exploratory study into the geometry of logic
- 2nd ed., Department of Computer Science, University of Warwick
- (1993) Doctoral thesis
- Hovsepian¹

5
- 0000087207
- The semantics of a simple language for parallel processing
- Elsevier, Amsterdam
- (1974) Proc. IFIP Cong. , pp. 471-475
- Kahn¹

7
- 0004176640
- Prentice-Hall, Englewood Cliffs, NJ
- (1986) Systematic Software Development
- Jones¹

8
- 0028558872
- Partial metric topology
- S. Andima et al., 1992, 2nd ed., Annals of the New York Academy of Science, New York, Acad. Sci, New York
- (1994) General Topology and Applications, Proc. 8th Summer Conf. Queen's College , vol.728 , pp. 183-197
- Matthews¹

10
- 0002905490
- An extensional treatment of dataflow deadlock
- (1981) Theoret. Comput. Sci. , vol.13 , Issue.1 , pp. 3-15
- Wadge¹

11
- 0003417295
- Lucid, the Dataflow Programming Language
- 2nd ed., Academic Press, New York
- (1985) APIC Studies in Data Processing No. 22
- Wadge¹ Ashcroft²

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