Interface Theories for Component-Based Design

This publication has 10 references indexed in Scilit:

• Alternating-time temporal logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Decomposing refinement proofs using assume-guarantee reasoning
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Interface automata
  Published by Association for Computing Machinery (ACM) ,2001
• Process Algebra and Probabilistic Methods. Performance Modelling and Verification
  Published by Springer Nature ,2001
• The Control of Synchronous Systems
  Published by Springer Nature ,2000
• What's ahead for embedded software?
  Computer, 2000
• Reactive Modules
  Formal Methods in System Design, 1999
• Alternating refinement relations
  Published by Springer Nature ,1998
• The temporal logic of actions
  ACM Transactions on Programming Languages and Systems, 1994
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989