Abstract State Machines at the Cusp of the Millenium

Börger, Egon

doi:10.1007/3-540-44518-8_1

Search citation statements

Order By: Relevance

Paper Sections

Select...

Retrospective1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2001

Publication Types

Select...

Book2

Other1

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 14 publications

(16 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…That work also suggested an intra-step partial ordering of memory accesses, which helped inspire the control quasi-ordering here. ASMs with bounded nondeterminism have been studied [26]; asynchronous ASMs were investigated in [10]. The fundamentals of interaction were also studied in [7,8,9] within that framework.…”

Section: Retrospectivementioning

confidence: 99%

Alternate Semantics of the Guarded Conditional

Dershowitz

Kalpa Publications in Computing

View full text Add to dashboard Cite

The various possible semantics of Dijkstra’s guarded commands are elucidated by means of a new graph-based low-level, generic specification language designed for asynchronous nondeterministic algorithms. The graphs incorporate vertices for actions and edges indicating control flow alongside edges for data flow. This formalism allows one to specify, not just input-output behavior nor only what actions take place, but also precisely how often and in what order they transpire.

show abstract

Section: Retrospectivementioning

confidence: 99%

Alternate Semantics of the Guarded Conditional

Dershowitz

Kalpa Publications in Computing

View full text Add to dashboard Cite

show abstract

Design for Reuse via Structuring Techniques for ASMs

Börger

2001

Computer Aided Systems Theory — EUROCAST 2001

View full text Add to dashboard Cite

Java and the Java Virtual Machine

Stärk¹,

Schmid²,

Börger³

2001

182

View full text Add to dashboard Cite

The use of designations, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Java and all Java-based marks are trademarks or registered trademarks of Sun Microsystems, Inc. in the United States and other countries. Springer-Verlag is independent of Sun Microsystems, Inc.

show abstract

Abstract State Machines at the Cusp of the Millenium

Abstract: The ASM'2000 Workshop marks for the ASM method the transition from its adolescence to the maturation period. The goals which have been achieved open new frontiers and put us into the position to embark on new challenges.

Cited by 3 publications

References 14 publications

Alternate Semantics of the Guarded Conditional

Alternate Semantics of the Guarded Conditional

Design for Reuse via Structuring Techniques for ASMs

Java and the Java Virtual Machine

Contact Info

Product

Resources

About