Abstract State Machines (Theory and Applications): International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings

This collected volume presents the proceedings of the ASM 2000 workshop, which convened in the picturesque setting of Monte Verità, Switzerland. It features contributions from prominent researchers who explored the theoretical foundations and practical applications of Abstract State Machines (ASMs). The discussions highlighted innovative methodologies and implementations, reflecting the evolving landscape of computational models.

Participants engaged in deep dialogues about the capabilities and limitations of ASMs, bridging the gap between abstract theory and real-world applications. With a focus on both theoretical advancements and practical insights, the volume serves as a valuable resource for scholars, practitioners, and anyone interested in understanding the impact of ASMs in contemporary computing.