Modularization of a specification in LOTOS.

Kentaro Go Norio Shiratori

Published in: ICNP (1993)

Keyphrases

temporal ordering
software design
high level
formal specification
specification language
database
databases
machine learning
learning algorithm
social networks
computer vision
data model
software systems
asynchronous circuits
reactive systems