A framework based on implementation relations for implementing LOTOS specifications
From MaRDI portal
Publication:4697196
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
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)