Advertisement

On semantics of reactive rule-based systems

  • Man Lin
  • Jacek Malec
  • Simin Nadjm-Tehranil
Posters
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1345)

Keywords

Operational Semantic Formal Semantic Process Algebra Deductive Database Default Reasoning 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Man Lin
    • 1
  • Jacek Malec
    • 1
    • 2
  • Simin Nadjm-Tehranil
    • 1
  1. 1.Department of Computer and Information ScienceLinköping UniversityLinköpingSweden
  2. 2.Department of Computer EngineeringMälardalens HögskolaVäster⇘sSweden

Personalised recommendations