Factorization of finite state machines under observational equivalence

This publication has 7 references indexed in Scilit:

• Equation solving using modal transition systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Submodule construction as equation solving in CCS
  Theoretical Computer Science, 1989
• Implicit System Specification and the Interface Equation
  The Computer Journal, 1989
• Constructing submodule specifications and network protocols
  IEEE Transactions on Software Engineering, 1988
• A context dependent equivalence between processes
  Theoretical Computer Science, 1987
• On the Construction of Submodule Specifications and Communication Protocols
  ACM Transactions on Programming Languages and Systems, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980