An algebraic semantics for the object specification language TROLL light
Lecture Notes in Computer Science - Trang 290-306 - 1995
Tóm tắt
Within the KORSO project we have developed the object specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Recently, we have worked out the basic notions of...