Operational semantics rules for governing evolution of processes and queries as processes

A computer-readable medium having computer-executable instructions for performing a method for executing sets of operational semantics rules governing the meanings of expressions written in a process-based language, the method comprising:

• parsing a first expression, the first expression describing that a process is a choice of two processes, the first process of the two processes expressing that a first query is submitted to a queue and after which the first process continues with a first set of actions, the second process of the two processes expressing that a second query is submitted to the queue and after which the second process continues with a second set of actions;
• and
• reducing the first expression to a second expression, the second expression describing that a third query is submitted to the queue after which the first process runs in parallel with the second process if the third query is in canonical form.

A computer-executable method for executing sets of operational semantics rules governing the meanings of expressions written in a process-based language, the method comprising:

• parsing a first expression, the first expression describing a first process whose first action is submitting a query to a queue and after which the first process continues with a second process;
• and
• reducing the first expression to a second expression, the second expression describing that a lifted query runs in parallel with the second process if the first query is in canonical form.

A computer-readable medium having computer-executable instructions for performing a method that execute sets of operational semantics rules governing the meanings of expressions written in a process-based language, the method comprising:

• parsing a first expression, the first expression describing a first process whose first action is submitting a query to a queue and after which the first process continues with a second process;
• and
• reducing the first expression to a second expression, the second expression describing that a lifted query runs in parallel with the second process if the first query is in canonical form.