Deriving protocol specifications from service specifications written in LOTOS

DOI10.1007/S004460050022zbMath1448.68121OpenAlexW2026628829MaRDI QIDQ5137326

Teruo Higashino, Christian Kant, Gregor von Bochmann

Publication date: 2 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s004460050022

zbMATH Keywords

protocol specificationactive elementcommunication mediumextended versionservice specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (1)

Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets

This page was built for publication: Deriving protocol specifications from service specifications written in LOTOS