Type checking concurrent I/O

Authors:
W. H. Carlisle
Affiliations:
Auburn Univ., Auburn, AL
Venue:
ACM Transactions on Programming Languages and Systems (TOPLAS)
Year:
1995

Citing 8
Cited 0

Communicating sequential processes

Communicating sequential processes
A critique of Occam channel types

Computer Languages
Modeling concurrency in parallel debugging

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Transition network grammars for natural language analysis

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Predicate path expressions

POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The specification of process synchronization by path expressions

Operating Systems, Proceedings of an International Symposium
Concurrent Event Recognition

Concurrent Event Recognition

Quantified Score

Hi-index	0.00

Visualization

Abstract

In parallel programming languages multityped data structures may be shared by two or more processes. Process I/O to these structures is assumed to be physically interleaved but logically parallel. This article addresses a syntactic mechanism to specify a type for such structures and extends an example language and its type-checking algorithm to these structures.