Specification, modelling and verification of concurrent discrete event systems
Wolfgang Reisig · 1993
The traditional description of dynamic change in terms of (continuous) functions appears quite natural for many purposes. It is nevertheless not convenient when it comes to the analysis of particular system properties. This talk exemplifies some of those properties and provides techniques to adequately specify, model and verify them. >