Distributive Laws for Monotone Specifications.

Published in: EXPRESS/SOS (2017)

Keyphrases

delay insensitive
upper bound
high level
boolean functions
uniform distribution
formal specification
finite state machines
functional requirements
specification language
design requirements
concurrent systems
written in natural language