OBJSA Nets: a class of high-level nets having objects as domains

This publication has 21 references indexed in Scilit:

• On implementations of loose abstract data type specifications and their vertical composition
  Published by Springer Nature ,2006
• Transformations and Decompositions of Nets
  Published by Springer Nature ,1987
• Fundamentals of Algebraic Specification 1
  Published by Springer Nature ,1985
• On the parameterized algebraic specification of concurrent systems
  Published by Springer Nature ,1985
• Parameterized Programming
  IEEE Transactions on Software Engineering, 1984
• Software Technology in the 1990's: Using a New Paradigm
  Computer, 1983
• Superposed Automata Nets
  Published by Springer Nature ,1982
• Coloured petri nets and the invariant-method
  Theoretical Computer Science, 1981
• COSY ? a system specification language based on paths and processes
  Acta Informatica, 1979
• Communicating sequential processes
  Communications of the ACM, 1978