Validating behavioral component interfaces in rewriting logic

MaRDI QIDQ5457268zbMATH OpenFDO

Authors Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen

Publication date 14 April 2008

Mathematics Subject Classification ID

Logic in computer science (03B70) 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 1931058
• Synchronous and Bidirectional Component Interfaces
• Behavioural contracts for a sound assembly of components
• scientific article; zbMATH DE number 1569122
• scientific article; zbMATH DE number 1231548

Cited in

(4)

• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• scientific article; zbMATH DE number 1693427 (Why is no real title available?)
• scientific article; zbMATH DE number 1931058 (Why is no real title available?)
• Proving the correctness of behavioural implementations

Describes a project that uses

Uses Software

• Maude

This page was built for publication: Validating behavioral component interfaces in rewriting logic

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