Algebra of behavior transformations and its applications

MaRDI QIDQ3365842zbMATH OpenFDO

Authors A. A. Letichevskij

Publication date 13 February 2006

zbMATH Keywords

distributed computationsmulti agent systemssemantics of specification languages

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1617305
• Behaviour algebras
• Algebraic specification of agent computation
• scientific article; zbMATH DE number 1304371
• scientific article; zbMATH DE number 140241

Cited in

(14)

• Reconstruction of a labeled graph by a graph-walking mobile agent
• Insertion semantics of VHDL as electronic design languge
• Algebraic high-level net transformation systems
• Modeling method for development of digital system algorithms based on programmable logic devices
• The problem of accuracy in systems for cyberattack resistance and the verification of neural networks on the example of botnet detecting problem
• Cyber-physical systems
• Insertion modeling and its applications
• Fuzz testing technique and its use in cybersecurity tasks
• Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling
• scientific article; zbMATH DE number 1617305 (Why is no real title available?)
• Glushkov's evidence algorithm
• Generating symbolic traces in the insertion modeling system
• Idempotent algebra models of single-agent and multi-agent dynamics
• Properties of a predicate transformer of the VRS system

This page was built for publication: Algebra of behavior transformations and its applications

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