The expressive power of implicit specifications

This publication has 23 references indexed in Scilit:

• Concurrency and automata on infinite sequences
  Published by Springer Nature ,2005
• Compositionality through an operational semantics of contexts
  Published by Springer Nature ,2005
• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• Introduction to the ISO specification language LOTOS
  Published by Elsevier ,2003
• Submodule construction as equation solving in CCS
  Theoretical Computer Science, 1989
• A note on model checking the modal v-calculus
  Published by Springer Nature ,1989
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• 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
• Results on the propositional μ-calculus
  Published by Springer Nature ,1982