Specification and encoding of transaction interaction properties

Keyphrases

• Finite State Systems 100%
• Formal Methods 100%
• Transaction Level Modeling 50%
• Transaction-level 50%
• Sequential Hazards 50%
• Pipelined Circuits 50%
• Swan 50%
• Easy Use 50%
• Multiple Transactions 50%
• Ordering Relationships 50%

Computer Science

• Annual Conference 50%
• Transaction Level Modeling 50%