The Specification of a Generic Multicomputer Using Lotos.

José A. Gallud José M. García

Published in: ACM SIGPLAN Notices (1995)

Keyphrases

temporal ordering
high level
application specific
computer architecture
domain specific
formal specification
search algorithm
object oriented
formal methods
formal verification