A Framework for the Specification of Reactive and Concurrent Systems in Z.

Peter Baumann Karl Lermer

Published in: FSTTCS (1995)

Keyphrases

concurrent systems
main contribution
theoretical framework
real time
data sets
software engineering
lightweight
conceptual model
conceptual framework