Article history: Received 20 February 2013 Received in revised form 11 October 2013 Accepted 5 February 2014 Available online xxxx

State Machines at the Cusp of the Millenium

During the attempts to build an Abstract State Machine (ASM) model for the semantics of C# programs, we tried to directly and faithfully reflect the intuitions and design decisions which are expressed in the C# Language Specification. This work and the comparison between the corresponding ASM models for C# and Java brought to light a few gaps and mistakes in the C# reference manual, inconsisten...

We apply the ASM semantics framework to define the await construct in the context of concurrent ASMs. We link CAL programs to concurrent control state ASMs with turbo ASM submachines.

Fault trees have long been used to estimate failure risk in earthquakes, especially for nuclear power plants (NPPs). One interesting application is that one can assess and manage the probability that two facilities - a primary and backup - would be simultaneously rendered inoperative in a single earthquake. Another is that one can calculate the probabilistic time required to restore a facility ...

In today's competitive market, quality has an important role in manufacturing system. The manufacturers attempt to maintain their production system in a proper condition to produce high quality products. One of the key factors to achieve this goal is maintenance policy. Most studies on maintenance focused on machines and less attention has been paid to human resources as the most important fact...

We share our experience of using abstract state machines for teaching computation theory at the University of Michigan.