Results 221 to 230 of about 667,958 (267)

Cooperation as a communication process

Proceedings of the Sixth International Conference on Computer Supported Cooperative Work in Design (IEEE Cat. No.01EX472), 2002
The actors of a company must collaborate in an efficient way to achieve the common purposes of the company (the Project). Therefore, they must have competencies, manage and produce knowledge, perform tasks, and communicate between them; all that in an environment permanently evolving.
Jean-Philippe Kotowicz, Xavier Briffault
openaire   +1 more source

Synthesis of communicating processes

Proceedings of the second annual ACM symposium on Principles of distributed computing - PODC '83, 1983
Today's technological and economic profile make it desirable to attempt distributed solutions for a majority of computing tasks. In this paper we describe a scheme by which a sequential program can be transformed into a weakly equivalent distributed program. This transformation can, in principle, be automated and is applicable to any program written in
openaire   +1 more source

Communicating transaction processes

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings., 2004
Message sequence charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process (inter-object) interactions. Synthesizing intra-process (intra-object) executable specifications from an MSC-based description is a nontrivial task.
Abhik Roychoudhury, P. S. Thiagarajan
openaire   +1 more source

The process of communication

1986
Human communication is fraught with problems and difficulties. How often do we say or hear statements like ‘I didn’t really mean that’ or ‘You still don’t see what I mean’, or ‘You don’t seem to have grasped the point’? Whatever we try to communicate, something often seems to get in the way and we are not understood in the way we intended.
openaire   +1 more source

Process Communication Environment

1993
A real time extension of CCS which takes into account properties of an interconnection communication network is presented. With the help of this calculus several semantics for CCS are defined. Limitations of CCS are discussed.
Damas P. Gruska, Andrea Maggiolo-Schettini   +1 more
openaire   +1 more source

Process control and communication

Proceedings of the second symposium on Operating systems principles - SOSP '69, 1969
The paper contains a description of the structure of processes and the interprocess communication facility implemented within a general purpose operating system. Processes within the system operate asynchronously. The communication facility allows a process to signal another process, to send information to it, to cause it to be suspended or to cause it
Arthur J. Bernstein, G. D. Detlefsen, R. H. Kerr   +2 more
openaire   +1 more source

X25 based process—process communication

Computer Networks (1976), 1978
Abstract Assuming the existence of the X25 DTE/DCE interface and a packet switching network, the problem of constructing end-to-end protocols for interprocess communication is considered. The main (software) device to couple the operating system of a host computer to a communication network is the “Message Transmission Controller”.
Hertweck, F., Raubold, E., Vogt, F.
openaire   +2 more sources

Comments on “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems, 1979
In his recent paper, “Communicating Sequential Processes” ( Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a programming language notation for interprocess communication in which processes are synchronized by the messages they exchange.
Richard B. Kieburtz, Abraham Silberschatz   +1 more
openaire   +2 more sources

Process Algebras for Network Communication

Fundamenta Informaticae, 2001
Critical issues that arise when process algebras are used for protocol specifications are discussed. To overcome some of these problems, a process algebra for protocol specifications is presented. It is based on Milner's Calculus of Communicating Systems, which is enriched by time and network reasoning.
Damas P. Gruska, Andrea Maggiolo-Schettini   +1 more
openaire   +4 more sources

Synchronization of communicating processes

ACM SIGOPS Operating Systems Review, 1971
Formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. This is demonstrated for a system consisting of many sending processes which deposit messages in a buffer and many receiving processes which remove messages from that buffer.
openaire   +1 more source