A dynamic evolution for the specifications of distributed systems

DOI10.1007/BFB0027801zbMATH Open1541.68218MaRDI QIDQ6560366FDOQ6560366

Authors Issam A. Hamid, Ferhat Khendek

Publication date 21 June 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3898215
• scientific article; zbMATH DE number 1515852
• A graph-based approach to the compositional specification of distributed systems
• Specification styles in distributed systems design and verification
• Evolving Specification Engineering

Cites work

• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Acceptance trees
• Extensional equivalences for transition systems
• Formal verification of parallel programs

This page was built for publication: A dynamic evolution for the specifications of distributed systems

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