Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.

Hans-Jörg Kreowski Zhenyu Qian

Published in: STACS (1990)

Keyphrases

high level
delay insensitive
real world
bayesian networks
functional requirements
real time
higher order
specification language
algebraic structure