A framework based on implementation relations for implementing LOTOS specifications

DOI10.1016/0169-7552(92)90122-7zbMath0789.68095OpenAlexW1971170838MaRDI QIDQ4697196

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

process algebratransformationrefinementabstractionspecificationconformanceLOTOSimplementation relationFDTimplementation process

Mathematics Subject Classification ID

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

Related Items (2)

Non-strongly Stable Orders Also Define Interesting Simulation Relations ⋮ An invitation to friendly testing

Uses Software

• LOTOS

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