|United States Patent||7,216,335|
|Meredith , et al.||May 8, 2007|
A program includes expressions written in a process-based language. A process kernel executes sets of operational semantics rules governing the meanings of the expressions in the program. A first expression is parsed. The first expression describes that a process is a choice of two processes. The first process of the two processes expresses that a first query is submitted to a queue, after which the first process continues with a first set of actions. The second process of the two processes expresses that a second query is submitted to the queue, after which the second process continues with a second set of actions. The first expression reduces to a second expression. The second expression describes 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.
|Inventors:||Meredith; L. Gregory (Seattle, WA), Bjorg; Steve (Redmond, WA), Richter; David (Seattle, WA)|
|Filed:||November 22, 2002|
|Application Number||Filing Date||Patent Number||Issue Date|
|Current U.S. Class:||717/114 ; 717/136; 717/143|
|Current International Class:||G06F 9/44 (20060101)|
|Field of Search:||717/136,100,114,143 707/10 709/225|
|6584459||June 2003||Chang et al.|
|6654734||November 2003||Mani et al.|
|6950821||September 2005||Faybishenko et al.|
|7055142||May 2006||Meredith et al.|
|7117487||October 2006||Meredith et al.|
|2002/0143944||October 2002||Traversat et al.|
"Extensible Markup Language XML 1.0", Second Edition, Oct. 6, 2000, 50 pages. [Online] [Retrieved at] <http://www.w3.org/TR/2000/REC-xml-20001006.html>. cited by examiner .
Microsoft Corp., "What's new in the Apr. 2001 Microsoft XML Parser 4.0 Technology Preview", Apr. 2001, 3 pages. [Online] [Retrieved at] <http://msdn.microsoft.com/archive>. cited by examiner .
Abramsky, S., "Computational Interpretations of Linear Logic," Theoretical Computer Science 111(1-2):3-57, 1993. cited by other .
Berger, M., et al., "Sequentiality and the .pi.-Calculus,"in Abramsky, S. (ed.), Proceedings: Typed Lambda Calculi and Applications, 5th Int'l Conference, Krakow, Poland, May 2-5, 2001. cited by other .
Milner, R., "The Polyadic .pi.-Calculus: A Tutorial," Proceedings: Int'l Summer School on Logic Algebra of Specification, Marktoberdorf, Germany, 1992. cited by other .
Yoshida, N., et al., "Strong Normalisation in the .pi.-Calculus," MCS Technical Report, 2001/09, Mar. 2001. cited by other.