Sciweavers

DKE
2000
87views more  DKE 2000»
13 years 4 months ago
On the representation of roles in object-oriented and conceptual modelling
: The duality of objects and relationships is so deeply embedded in our thinking that almost all modelling languages include it as a fundamental distinction. Yet there is evidence ...
Friedrich Steimann
FOSSACS
2004
Springer
13 years 10 months ago
On Recognizable Timed Languages
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
Oded Maler, Amir Pnueli