Automated and semi-automated manipulation of so-called labelled transition systems has
become an important means in discovering flaws in software and hardware systems …

Stochastic activity networks have been used since the mid-1980s for performance,
dependability, and performability evaluation. They have been used as a modeling formalism …

This paper studies the semantics of hierarchical finite state machines (FSM's) that are
composed using various concurrency models, particularly dataflow, discrete-events, and …

Behavior modeling has proved to be successful in helping uncover design flaws of
concurrent and distributed systems. Nevertheless, it has not had a widespread impact on …

The last two decades have shown a major shift from stand-alone software systems to
networked ones. As with all information system domains, Geographic Information Systems …

Errata, detected in Taylor's Logarithms. London: 4to, 1792.[sic] 14.18. 3 6 Kk Co-sine of
3398 3298-Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms …

It is shown that multistage concurrent games, or relay-races, are widely used in practice. It is
proposed to model relay-races in the state space, in which discrete co-ordinates are the …

Systems biology is centrally engaged with computational modelling across multiple scales
and at many levels of abstraction. Formal modelling, precise and formalised abstraction …

Despite the emergence of standards to define and compose Web Services to form more
complex systems, as yet, there is little support for engineering systems composed from …

This paper describes an investigation of high-school students' understanding of
synchronization as they studied a course in concurrent and distributed computation. The …