A framework based on implementation relations for implementing LOTOS specifications

DOI10.1016/0169-7552(92)90122-7MaRDI QIDQ4697196zbMATH OpenOpenAlexFDO

Authors Guy Leduc

Publication date 29 June 1993

Published in Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL https://orbi.uliege.be/handle/2268/23868

zbMATH Keywords

transformationabstractionprocess algebrarefinementspecificationconformanceLOTOSimplementation relationFDTimplementation process

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3876563
• Comments on deriving protocol specifications from service specifications written in LOTOS
• Modifying LOTOS specifications by means of automatable formula-based integrations
• Deriving protocol specifications from service specifications written in LOTOS
• scientific article; zbMATH DE number 140241
• A general framework for modular implementations of modular system specifications

Cited in

(7)

• Deriving protocol specifications from service specifications written in LOTOS
• scientific article; zbMATH DE number 1693438 (Why is no real title available?)
• An invitation to friendly testing
• Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS
• scientific article; zbMATH DE number 42237 (Why is no real title available?)
• Modifying LOTOS specifications by means of automatable formula-based integrations
• Non-strongly stable orders also define interesting simulation relations

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: A framework based on implementation relations for implementing LOTOS specifications

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