Concurrent Abstract State Machines and + CAL Programs

Authors:
Michael Altenhofen;Egon Börger
Affiliations:
SAP Research, Karlsruhe, Germany;Dipartimento di Informatica, Università di Pisa, Pisa, Italy I-56125
Venue:
Recent Trends in Algebraic Development Techniques
Year:
2009

Citing 0
Cited 4

Practical issues with formal specifications: lessons learned from an industrial case study

FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
The CoreASM modeling framework

Software—Practice & Experience
Synchronous message passing and semaphores: an equivalence proof

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Executable formal specifications of complex distributed systems with CoreASM

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.