Parallel algorithms for shared-memory machines
Handbook of theoretical computer science (vol. A)
Evolving algebras 1993: Lipari guide
Specification and validation methods
Processes are in the eye of the beholder
Theoretical Computer Science
Information and Computation - Special issue: logic and computational complexity
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Quantum computing and abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Modeling Software: From Theory to Practice
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Abstract Communication Model for Distributed Systems
IEEE Transactions on Software Engineering
Quality-Assured Design of On-Line Analytical Processing Systems using Abstract State Machines
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A Guarded Fragment for Abstract State Machines
Journal of Logic, Language and Information
Balancing redundancy and query costs in distributed data warehouses
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Quality Assurance in the Design of Web Information Systems
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Ordinary interactive small-step algorithms, I
ACM Transactions on Computational Logic (TOCL)
ASM-based design of data warehouses and on-line analytical processing systems
Journal of Systems and Software - Special issue: Quality software
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Can abstract state machines be useful in language theory?
Theoretical Computer Science
Ordinary interactive small-step algorithms, II
ACM Transactions on Computational Logic (TOCL)
Ordinary interactive small-step algorithms, III
ACM Transactions on Computational Logic (TOCL)
Abstract state machines capture parallel algorithms: Correction and extension
ACM Transactions on Computational Logic (TOCL)
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Partial updates exploration II
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Remarks on turbo ASMs for functional equations and recursion schemes
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
The hidden computation steps of turbo abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Consistent integration for sequential abstract state machines
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Refinements in typed abstract state machines
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A semantic characterization of unbounded-nondeterministic abstract state machines
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Term rewriting for web information systems: termination and church-rosser property
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Towards a logic for abstract metafinite state machines
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Persistent queries in the behavioral theory of algorithms
ACM Transactions on Computational Logic (TOCL)
A customised ASM thesis for database transformations
Acta Cybernetica
Partial Updates in Complex-Value Databases
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Yuri, logic, and computer science
Fields of logic and computation
Information systems in modeling interactive computations on granules
Theoretical Computer Science
Modeling and verification of MPI based distributed software
EuroPVM/MPI'06 Proceedings of the 13th European PVM/MPI User's Group conference on Recent advances in parallel virtual machine and message passing interface
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
An ASM-Characterization of a class of distributed algorithms
Rigorous Methods for Software Construction and Analysis
Rigorous Methods for Software Construction and Analysis
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Synchronous parallel database transformations
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
A simplified parallel ASM thesis
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Functionals Using Bounded Information and the Dynamics of Algorithms
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
CoreASM: An Extensible ASM Execution Engine
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Foundational analyses of computation
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
A Logic Framework for Verification of Timed Algorithms
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Relativity and abstract state machines
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
Hi-index | 0.00 |
We give an axiomatic description of parallel, synchronous algorithms. Our main result is that every such algorithm can be simulated, step for step, by an abstract state machine with a background that provides for multisets.