Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
A Programmer Friendly Modular Definition of the Semantics of Java
Formal Syntax and Semantics of Java
Invited Talk: Algebraic State Machines
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Modeling Software: From Theory to Practice
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Algebraic Description of Physical Systems
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
On the Need for a Neural Abstract Machine
Sequence Learning - Paradigms, Algorithms, and Applications
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
Automatic Verification of Abstract State Machines
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model Checking Abstract State Machines and Beyond
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Encoding Abstract State Machines in PVS
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Description and Simulation of Microprocessor Instruction Sets Using ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Investigating Java Concurrency Using Abstract State Machines
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
A unified formal specification and analysis of the new java memory models
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Abstract state machines and the inquiry process
Fields of logic and computation
A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Model transformations in the development of data–intensive web applications
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
SDL-2000: a language with a formal semantics
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.00 |