A framework based on implementation relations for implementing LOTOS specifications

DOI10.1016/0169-7552(92)90122-7zbMATH Open0789.68095OpenAlexW1971170838MaRDI QIDQ4697196FDOQ4697196

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

Recommendations

• scientific article
• 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
• A general framework for modular implementations of modular system specifications

zbMATH Keywords

transformationabstractionprocess algebrarefinementspecificationconformanceLOTOSimplementation relationFDTimplementation process

Mathematics Subject Classification ID

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

Cited In (6)

• Non-strongly Stable Orders Also Define Interesting Simulation Relations
• Deriving protocol specifications from service specifications written in LOTOS
• Title not available (Why is that?)
• An invitation to friendly testing
• Title not available (Why is that?)
• Modifying LOTOS specifications by means of automatable formula-based integrations

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)