Sciweavers

JLP
2002
57views more  JLP 2002»
13 years 11 months ago
Program algebra with unit instruction operators
In the setting of program algebra (PGA), a projection from PGAu, i.e., PGA extended with a unit instruction operator, into PGA is defined. This is done via a composition that empl...
Alban Ponse
JLP
2002
90views more  JLP 2002»
13 years 11 months ago
Combining programs and state machines
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
Jan A. Bergstra, Alban Ponse