Structural equivalence of expressions containing processes...

Details Structural equivalence of expressions containing processes... Structural equivalence of expressions containing processes...

2006-10-03

2006-10-03

Dam, Tuan (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C704S002000, C707S793000

Reexamination Certificate

active

07117487

ABSTRACT:
A program that includes expressions written in a process-based language for representing protocol-based applications as processes is disclosed. The process kernel executes a set of equational laws governing structural equivalence of expressions written in the process-based language. A first expression is parsed. The first expression describes that a query is being executed in parallel with a process. The query has a head, which is empty, and a body, which contains a first name being bound to a second name. The first expression is translated as structurally equivalent to a second expression. The second expression describes that the query is executed in parallel with the process if the query is in canonical form. Each occurrence of the first name in the process is replaceable with the second name.

REFERENCES:
patent: 5806060 (1998-09-01), Borgida et al.
patent: 5995959 (1999-11-01), Friedman et al.
patent: 6032144 (2000-02-01), Srivastava et al.
patent: 2003/0163461 (2003-08-01), Gudbjartsson et al.
patent: 2004/0181390 (2004-09-01), Manson
Abramsky, S., “Computational Interpretations of Linear Logic,”Theoretical Computer Science111(1-2):3-57, 1993.
Berger, M., et al., “Sequentiality and the π-Calculus,”in Abramsky, S. (ed.),Proceedings: Typed Lambda Calculi and Applications, 5th Int'l Conference, Krakow, Poland, May 2-5, 2001.
Milner, R., “The Polyadic π-Calculus: A Tutorial,”Proceedings: Int'l Summer School on Logic Algebra of Specification, Marktoberdorf, Germany, 1992.
Yoshida, N., et al., “Strong Normalisation in the π-Calculus,”MCS Technical Report, 2001/09, Mar. 2001.

Affiliated with

Also associated with

Rating

Structural equivalence of expressions containing processes... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Structural equivalence of expressions containing processes..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Structural equivalence of expressions containing processes... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3718597