Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
Software Engineering
2007-05-23 v1
Authors:
James K. Huggins
Abstract
We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.
Cite
@article{arxiv.cs/9810022,
title = {Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution},
author = {James K. Huggins},
journal= {arXiv preprint arXiv:cs/9810022},
year = {2007}
}
Related papers
View all related →
Systems and Control · Computer Science
Approximate Abstractions of Markov Chains with Interval Decision Processes (Extended Version)
Y. Zacchia Lun, J. Wheatley, A. D'Innocenzo, A. Abate
2019-03-08
Optimization and Control · Mathematics
Variable Splitting Methods for Constrained State Estimation in Partially Observed Markov Processes
Rui Gao, Filip Tronarp, Simo Särkkä
2020-12-02
Quantum Physics · Physics
Minimum error discrimination problem for pure qubit states
Boris F Samsonov
2013-05-29
Logic in Computer Science · Computer Science
Computing and Proving Well-founded Orderings through Finite Abstractions
Rob Sumners
2020-09-30
Methodology · Statistics
Testing model specification in approximate Bayesian computation
Andrés Ramírez-Hassan, David T. Frazier
2022-10-25
Computational Engineering, Finance, and Science · Computer Science
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
Marino Miculan, Ilaria Sambarino
2012-11-20
Machine Learning · Statistics
Spectral State Compression of Markov Processes
Anru Zhang, Mengdi Wang
2019-11-26
Signal Processing · Electrical Eng. & Systems
Specification-Guided Verification and Abstraction Refinement of Mixed Monotone Stochastic Systems
Maxence Dutreix, Samuel Coogan
2020-01-31
Logic in Computer Science · Computer Science
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
2017-01-11
Quantum Physics · Physics
Probing quantum advantage for solving the Fermi-Hubbard model with entropy benchmarking
Pauline Besserve, Raúl García-Patrón
2025-10-02
Programming Languages · Computer Science
Optimizing Abstract Abstract Machines
J. Ian Johnson, Nicholas Labich, Matthew Might, David Van Horn
2013-07-25
Numerical Analysis · Mathematics
Convex optimization problems inspired by geotechnical stability analysis
Stanislav Sysala, Michal Béreš, Simona Bérešová, Jaroslav Haslinger +2
2025-01-07
Optimization and Control · Mathematics
Model Boundary Approximation Method as a Unifying Framework for Balanced Truncation and Singular Perturbation Approximation
Philip E. Paré, David Grimsman, Alma T. Wilson, Mark K. Transtrum +1
2019-01-10
Numerical Analysis · Mathematics
Generalized local projection stabilized finite element method for advection-reaction problems
Deepika Garg, Sashikumaar Ganesan
2020-09-02
Numerical Analysis · Mathematics
A numerical algorithm to computationally solve the Hemker problem using Shishkin meshes
Alan F. Hegarty, Eugene O'Riordan
2022-01-19
Functional Analysis · Mathematics
Regularization of an Indefinite Abstract Interpolation Problem with a Quadratic Constraint
Santiago Gonzalez Zerbo, Alejandra Maestripieri, Francisco Martínez Pería
2020-08-11
Probability · Mathematics
Optimal stopping of the stable process with state-dependent killing
K. van Schaik, A. R. Watson, X. Xu
2024-02-29
Analysis of PDEs · Mathematics
An improved quasi-reversibility method for a terminal-boundary value multi-species model with white Gaussian noise
Nguyen Huy Tuan, Vo Anh Khoa, Phan Thi Khanh Van, Vo Van Au
2020-08-13
Systems and Control · Computer Science
Fault Estimation Filter Design with Guaranteed Stability Using Markov Parameters
Yiming Wan, Tamas Keviczky, Michel Verhaegen
2017-08-31
Numerical Analysis · Mathematics
Truncation error estimates of approximate operators in a generalized particle method
Yusuke Imoto
2019-07-09
Optimization and Control · Mathematics
A GPM-based algorithm for solving regularized Wasserstein barycenter problems in some spaces of probability measures
S. Kum, M. H. Duong, Y. Lim, S. Yun
2022-08-09
Signal Processing · Electrical Eng. & Systems
When atomic norm meets the G-filter: A general framework for line spectral estimation
Bin Zhu, Jiale Tang
2024-10-17
Dynamical Systems · Mathematics
Model Reduction of Parametric Differential-Algebraic Systems by Balanced Truncation
Jennifer Przybilla, Matthias Voigt
2024-01-08
Optimization and Control · Mathematics
Markov Parameter Identification via Chebyshev Approximation
Jiayun Li, Yilin Mo
2023-04-12
Optimization and Control · Mathematics
Gromov-Wasserstein Barycenters: The Analysis Problem
Rocío Díaz Martín, Ivan V. Medri, James M. Murphy
2026-03-31