Cooperation of concurrent, distributed networks of resources

Abstract

The invention discloses a program comprising an expression written in a process-based language for expressing a protocol-based application into a process, and a process kernel is used to execute the expression in the program. By permitting a designating and organizing mode of the data written in customizable and label-based language to be exchanged between processes as a process, the interaction between the processes can be specified. The designating and organizing mode of the data is bound to the process range of the designating and organizing mode in which data is sent and received.

Description

[0001] References to related applications [0002] This application claims priority to U.S. Provisional Application No. 60 / 379,864, filed May 10, 2002, entitled "Process Programming Language," which is hereby expressly incorporated by reference; November 22, 2002 Priority of U.S. Patent No. 10 / 303,407, filed November 22, 2002, entitled "Process Kernel," which is expressly incorporated herein by reference; Priority to U.S. Patent No. 10 / 303,445 of "Permutation Nuances of the Integration of Processed and Queries as Processes at Queues", which is expressly incorporated herein by reference; November 22, 2002 Priority to U.S. Patent No. 10 / 303,379, entitled "Structural Equivalence of Expressions Containing Processes and Queries," filed on , which is hereby expressly incorporated by reference; Nov. 2002 Priority to U.S. Patent No. 10 / 303,343, entitled "Operational Semantics Rules Governing Evolution of Processes and Queries as Processes," filed May 22, which is incorporated by refere...

AI Technical Summary

Problems solved by technology

The main problem with adopting the pass-by-reference technique in the higher order π-calculus variation is that the technique inhibits the ability of concurrent systems to become distributed

Images