Elements for the formal description of systems

This publication has 5 references indexed in Scilit:

• An introduction to system semantics
  Published by Springer Nature ,2005
• Specification of reduction strategies in term rewriting systems
  Published by Springer Nature ,1987
• On The Equivalence of Time-Division and Frequency-Division Multiplexing
  IEEE Transactions on Communications, 1985
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• What can we do about the unnecessary diversity of notation for syntactic definitions?
  Communications of the ACM, 1977