Models of computation for system design

High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Linking architectural and component system views by abstract state machines

Languages for system specification

Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z

A Method for Verifiable and Validatable Business Process Modeling

Advances in Software Engineering

A compositional framework for service interaction patterns and interaction flows

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering

Tutorial: the ASM method for system design and analysis. a tutorial introduction

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems