Compositional refinements in multiple blackboard systems

This publication has 10 references indexed in Scilit:

• The concurrent language, Shared Prolog
  ACM Transactions on Programming Languages and Systems, 1991
• Software process enactment in Oikos
  Published by Association for Computing Machinery (ACM) ,1990
• Configuration management by consensus: an application of law-governed systems
  Published by Association for Computing Machinery (ACM) ,1990
• Managing software processes in the environment MELMAC
  ACM SIGSOFT Software Engineering Notes, 1990
• Foundations for the Arcadia environment architecture
  ACM SIGSOFT Software Engineering Notes, 1988
• Intelligent assistance for software development and maintenance
  IEEE Software, 1988
• Direct semantics of concurrent languages in the SMoLCS approach
  IBM Journal of Research and Development, 1987
• SMoLCS-driven concurrent calculi
  Published by Springer Nature ,1987
• Partial abstract types
  Acta Informatica, 1982
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980