An introduction to system semantics

This publication has 7 references indexed in Scilit:

• Elements for the formal description of systems
  Published by Springer Nature ,2005
• Zeus: A Language for Expressing Algorithms in Hardware
  Computer, 1985
• Hardware Verification
  Computer, 1985
• Concurrent Prolog as an Efficient VLSI Design Language
  Computer, 1985
• The use of design descriptions in automated diagnosis
  Artificial Intelligence, 1984
• System Description Languages
  IEEE Transactions on Computers, 1970
• Hazard Detection in Combinational and Sequential Switching Circuits
  IBM Journal of Research and Development, 1965