Peer-based multithreaded executable co-specification.

Donald E. Thomas JoAnn M. Paul Simon N. Peffers Sandra J. Weber

Published in: CODES (1999)

Keyphrases

formal specification
process algebra
high level
control flow
formal methods
attribute grammars
specification language
overlay network
mutual exclusion
real time
object oriented
reverse engineering
collaborative learning
software engineering
peer to peer systems
reactive systems
website
neural network