On the complexity of equation solving in process algebra

This publication has 21 references indexed in Scilit:

• Compositionality through an operational semantics of contexts
  Published by Springer Nature ,2005
• Equation solving using modal transition systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Modal specifications
  Published by Springer Nature ,1990
• Algebraic specification and verification of communication protocols
  Science of Computer Programming, 1985
• Algebra of communicating processes with abstraction
  Theoretical Computer Science, 1985
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Calculi for synchrony and asynchrony
  Theoretical Computer Science, 1983
• On the Construction of Submodule Specifications and Communication Protocols
  ACM Transactions on Programming Languages and Systems, 1983
• Using branching time temporal logic to synthesize synchronization skeletons
  Science of Computer Programming, 1982
• Communicating sequential processes
  Communications of the ACM, 1978