Slicing Z specifications.

Fangjun Wu Tong Yi

Published in: ACM SIGPLAN Notices (2004)

Keyphrases

formal specification
delay insensitive
real time
neural network
social networks
high level
artificial neural networks
specification language
asynchronous circuits
concurrent systems