Space reduction in compositional state systems

Details Space reduction in compositional state systems Space reduction in compositional state systems

G - Physics

06

F

G06F 11/263 (2006.01) G06F 17/50 (2006.01) G06F 19/00 (2006.01)

Patent

CA 2355974

Models in compositional state systems are reduced by defining a set of events of interest and defining a transitive effect machine for components in the model relative to the events of interest. A transitive effect machine for a given component is defined by determining the transitive effects of events in the given component on other components in the model. Transitive effect machines are defined relative to reduced versions of other components in the model. The transitive effect machines are defined by succesive assumptions of the reduced versions of the other components in the model and successively defined approximations to the transitive effect machine.

Affiliated with

Also associated with

Rating

Space reduction in compositional state systems does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Space reduction in compositional state systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Space reduction in compositional state systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-2029633