Sciweavers

JLP
2002

Combining programs and state machines

13 years 10 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 interface. As state machines offer a service to programs, their interface is also called a service interface. State machines can be combined with several natural operators, thus giving rise to a state machine calculus. State are used for abstract data type modeling.
Jan A. Bergstra, Alban Ponse
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JLP
Authors Jan A. Bergstra, Alban Ponse
Comments (0)