Generic transforms on incomplete specifications of asynchronous interfaces

DOI10.1016/S1571-0661(03)50010-XMaRDI QIDQ276483zbMATH OpenOpenAlexFDO

Authors Radu Negulescu

Publication date 3 May 2016

Full work available at URL https://doi.org/10.1016/s1571-0661(03)50010-x

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

• Transformations of sequential specifications into concurrent specifications by synchronization guards
• scientific article; zbMATH DE number 3938554
• From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
• scientific article; zbMATH DE number 1361126
• Correct-by-construction asynchronous implementation of modular synchronous specifications
• Transition specifications for dynamic abstract data types
• scientific article; zbMATH DE number 743582
• Fundamental Approaches to Software Engineering
• On transformations of concurrent-object programs
• Concurrent specifications beyond linearizability

This page was built for publication: Generic transforms on incomplete specifications of asynchronous interfaces

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