A dynamic evolution for the specifications of distributed systems

DOI10.1007/BFB0027801zbMATH Open1541.68218MaRDI QIDQ6560366FDOQ6560366

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal verification of parallel programs
• Extensional equivalences for transition systems
• Acceptance trees

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)