Login / Signup
Modal-µ-Maude: Specification and Properties of Concurrent Objects.
Ulrike Lechner
Christian Lengauer
Published in:
Object Orientation with Parallelism and Persistence (1995)
Keyphrases
</>
formal specification
topological properties
d objects
structural properties
neural network
equational theories
individual objects
similar objects
high level
desirable properties
database
complex scenes
multiple objects
object models
modal logic
moving objects
nonmonotonic logics
object oriented data models