Compositional refinements in multiple blackboard systems

DOI10.1007/BF01213078zbMath0829.68030OpenAlexW2090127238MaRDI QIDQ1899098

Yanyan Li

Publication date: 4 October 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01213078

zbMATH Keywords

logic programmingCONESPextended shared prolog

Mathematics Subject Classification ID

Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• Extensional equivalences for transition systems
• Direct semantics of concurrent languages in the SMoLCS approach

This page was built for publication: Compositional refinements in multiple blackboard systems