finite state machine/automaton framework?

[Matthew Dillon]

:Are you talking about VHDLs here or more the formal method side (Maude,
:ACL2, Z Notation, VDM)?
:
:-- 
:Jeroen Ruigrok van der Werven <asmodai(at)wxs.nl> / asmodai / kita no mono
    
    I was thinking VHDL and the like.

					-Matt
					Matthew Dillon 
					<dillon at xxxxxxxxxxxxx>