Non-Strict Don't Care Algebras and Specifications.

Egidio Astesiano Maura Cerioli

Published in: Math. Struct. Comput. Sci. (1996)

Keyphrases

long term
formal specification
health care
spatial reasoning
delay insensitive
functional requirements
specification language
high level
home care
concurrent systems
learning algorithm
search engine
information systems
multi agent
health information