Automata Describing Object Behavior

This publication has 15 references indexed in Scilit:

• Why looking isn't always seeing
  Communications of the ACM, 1995
• Box-structured methods for systems development with objects
  IBM Systems Journal, 1993
• Integrated Structured Analysis and Formal Specification Techniques
  The Computer Journal, 1992
• Modula-3 language definition
  ACM SIGPLAN Notices, 1992
• Concepts and paradigms of object-oriented programming
  ACM SIGPLAN OOPS Messenger, 1990
• A proof of the Kahn principle for input/output automata
  Information and Computation, 1989
• Cleanroom Software Engineering
  IEEE Software, 1987
• Statecharts: a visual formalism for complex systems
  Science of Computer Programming, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976