High level programming for distributed computing
Communications of the ACM
Communicating sequential processes
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
The representation of families of software systems.
The representation of families of software systems.
The switching structure and addressing architecture of an extensible multiprocessor: cm*.
The switching structure and addressing architecture of an extensible multiprocessor: cm*.
A system for parallel programming
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A Language and System for the Construction and Tuning of Parallel Programs
IEEE Transactions on Software Engineering
“Topologies”—distributed objects on multicomputers
ACM Transactions on Computer Systems (TOCS)
Module Allocation of Real-Time Applications to Distributed Systems
IEEE Transactions on Software Engineering
Distributed Shared Abstractions (DSA) on Multiprocessors
IEEE Transactions on Software Engineering
Experience Using Multiprocessor Systems—A Status Report
ACM Computing Surveys (CSUR)
Medusa: an experiment in distributed operating system structure
Communications of the ACM
StarOS, a multiprocessor operating system for the support of task forces
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Variable-length capabilities as a solution to the small-object problem
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Performance of distributed software implemented by a contention bus
ACM '81 Proceedings of the ACM '81 conference
The design of a distributed kernel
ACM '81 Proceedings of the ACM '81 conference
The Distributed Double-Loop Computer Network (DDLCN)
ACM '80 Proceedings of the ACM 1980 annual conference
Multiprocessor software design
ACM '80 Proceedings of the ACM 1980 annual conference
Capability Based Tagged Architectures
IEEE Transactions on Computers
Hi-index | 0.02 |
TASK is a 'high level' specification language for defining software that executes on distributed computers. Software is in the form of task forces—collections of communicating parallel processes that cooperate to achieve a common goal. Using the TASK language, a programmer specifies the interrelated components of his task force: modules exporting functions which are potentially executed in parallel, multiple data and code objects, and processes. The user may adapt the configuration of the task force to enhance performance, reliability, or the degree of distribution. In particular, data or processes may be replicated, data may be partitioned into multiple memory units, and physical resource allocations may be controlled.