A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A Junction Between State Based and Behavioural Specification
[chapter]
1999
Formal Methods for Open Object-Based Distributed Systems
Two of the dominant paradigms for formally describing and analysing 00 distributed systems are state based specification, e.g. Object-Z, and behavioural specification, e.g. process algebra. The style of specification embodied by the two paradigms is highly contrasting. With state based techniques the data state is explicitly defined while the temporal ordering of operations is left implicit, in contrast in behavioural techniques, no explicit data state definition is given while the temporal
doi:10.1007/978-0-387-35562-7_18
fatcat:4fqbndheevhrtn4uphcxkrxgym