You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (159)

Journals (0)

1-10 of 159 results for Abstract State Machines

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: RAM Simulation of BGS Model of Abstract-state Machines

Retricted access

Research article

First published 2007-4

RAM Simulation of BGS Model of Abstract-state Machines

Comandur Seshadhri, Anil Seth, Somenath Biswas

Fundamenta Informaticae

Select article: Model Checking Abstract State Machines with Answer Set Programming

Retricted access

Research article

First published 2007-4

Model Checking Abstract State Machines with Answer Set Programming

Calvin Kai Fan Tang, Eugenia Ternovska

Fundamenta Informaticae

Select article: The Abstract State Machines Method

Retricted access

Other

First published 2007-4

The Abstract State Machines Method

Fundamenta Informaticae

Select article: A Representation Theorem for Primitive Recursive Algorithms

Retricted access

Research article

First published 2011-3

A Representation Theorem for Primitive Recursive Algorithms

Philippe Andary, Bruno Patrou, Pierre Valarcher

Fundamenta Informaticae

Select article: CoreASM: An Extensible ASM Execution Engine

Retricted access

Research article

First published 2007-4

CoreASM: An Extensible ASM Execution Engine

Roozbeh Farahbod, Vincenzo Gervasi, Uwe Glässer

Fundamenta Informaticae

Select article: Time in State Machines

Retricted access

Research article

First published 2007-4

Time in State Machines

Susanne Graf, Andreas Prinz

Fundamenta Informaticae

Select article: A Behavioural Theory of Recursive Algorithms

Retricted access

Research article

First published 2020

A Behavioural Theory of Recursive Algorithms

Egon Börger, Klaus-Dieter Schewe

Fundamenta Informaticae

Select article: Transformational design of an interactive component straddling communication streams

Retricted access

Research article

First published 2006-1

Transformational design of an interactive component straddling communication streams

Walter Dosch

Journal of Computational Methods in Sciences and Engineering

Select article: Advanced method for cryptographic protocol verification

Retricted access

Research article

First published 2006-1

Advanced method for cryptographic protocol verification

Nabil El Kadhi, Hazem El-Gendy

Journal of Computational Methods in Sciences and Engineering

Select article: A Cybernetic Approach to Study the Learnability of the Logo Turtle World

Retricted access

Research article

First published 1998-9

A Cybernetic Approach to Study the Learnability of the Logo Turtle World

Martin J. Ippel, Caroline J. M. Meulemans

Journal of Educational Computing Research

1
2
3
•••
16
10 / page

Article type

Publication date

Subjects

Access