Concurrent Abstract State Machines

Acta Informatica - Germany
doi 10.1007/s00236-015-0249-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Concurrent Abstract Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1991English

State Enumeration With Abstract Descriptions of State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Abstracting Abstract Machines

ACM SIGPLAN Notices
Computer Science
2010English

Interaction Abstract Machines

1993English

Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines

Journal of Modern Transportation
Electronic EngineeringComputer Science ApplicationsElectricalMechanical EngineeringTransportation
2016English

Model-Driven Development of Ubiquitous Applications for Sensor-Actuator-Networks With Abstract State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines

2017English

Finite State Machines

2017English

Abstract Machines for Open Call-By-Value

Science of Computer Programming
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy