Types and Modules for Net Specifications

This publication has 9 references indexed in Scilit:

• On interprocess communication
  Distributed Computing, 1986
• On specifications, theories, and models with higher types
  Information and Control, 1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Stepwise construction of non-sequential software systems using a net-based specification language
  Published by Springer Nature ,1985
• Characterizing specification languages which admit initial semantics
  Theoretical Computer Science, 1984
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Partial abstract types
  Acta Informatica, 1982
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980