Abstract is missing.
- Towards Leveraging Domain Knowledge in State-Based Formal MethodsYamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh. 1-13 [doi]
- Some Observations on Mitotic SetsKlaus Ambos-Spies. 14-28 [doi]
- Moded and Continuous Abstract State MachinesRichard Banach, Huibiao Zhu. 29-62 [doi]
- Product Optimization in Stepwise DesignDon S. Batory, Jeho Oh, Ruben Heradio, David Benavides 0001. 63-81 [doi]
- Semantic Splitting of Conditional Belief BasesChristoph Beierle, Jonas Haldimann, Gabriele Kern-Isberner. 82-95 [doi]
- Communities and Ancestors Associated with Egon Börger and ASMJonathan P. Bowen. 96-120 [doi]
- Language and Communication Problems in Formalization: A Natural Language ApproachAlessandro Fantechi, Stefania Gnesi, Laura Semini. 121-134 [doi]
- ASM Specification and Refinement of a Quantum AlgorithmFlavio Ferrarotti, Senén González. 135-146 [doi]
- Spot the Difference: A Detailed Comparison Between B and Event-BMichael Leuschel. 147-172 [doi]
- Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and BeyondJohann A. Makowsky. 173-186 [doi]
- Analysis of Mobile Networks' Protocols Based on Abstract State MachineEmanuele Covino, Giovanni Pani. 187-198 [doi]
- What is the Natural Abstraction Level of an Algorithm?Andreas Prinz 0001. 199-214 [doi]
- The ASMETA Approach to Safety Assurance of Software SystemsPaolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra. 215-238 [doi]
- Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File SystemStefan Bodenmüller, Gerhard Schellhorn, Martin Bitterlich, Wolfgang Reif. 239-265 [doi]
- Computation on Structures - Behavioural Theory, Logic, ComplexityKlaus-Dieter Schewe. 266-282 [doi]
- The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business ProcessesMatthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, Stephan Borgert. 283-300 [doi]
- Models and Modelling in Computer ScienceBernhard Thalheim. 301-325 [doi]
- A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State MachinesWolf Zimmermann, Mandy Weißbach. 326-352 [doi]