scientific article; zbMATH DE number 5173926

MaRDI QIDQ5294162zbMATH OpenFDO

Authors C. Seshadhri, Anil K. Seth, Somenath Biswas

Publication date 24 July 2007

Mathematics Subject Classification ID

Recommendations

• An introduction to a model of abstract computation: the BSS-RAM model
• Simulator for Real-Time Abstract State Machines
• scientific article; zbMATH DE number 1543044
• scientific article; zbMATH DE number 5368984
• scientific article; zbMATH DE number 1670519
• Abstract state machines: a unifying view of models of computation and of system design frameworks
• Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
• Computer Aided Verification
• scientific article; zbMATH DE number 1670502

Cited in

(2)

• An introduction to a model of abstract computation: the BSS-RAM model
• Study of stepwise simulation between ASM

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294162)