G
G. Pappalardo
Researcher at Newcastle University
Publications - 1
Citations - 12
G. Pappalardo is an academic researcher from Newcastle University. The author has contributed to research in topics: Formal verification & OSI model. The author has an hindex of 1, co-authored 1 publications receiving 12 citations.
Papers
More filters
Journal ArticleDOI
ECCS and LIPS: two languages for OSI systems specification and verification
TL;DR: Two languages based on Milner's communication calculi are proposed, respectively intended for the specification of asynchronous and synchronous OSI systems, and a formal verification method is introduced, relying upon the algebraic foundations of the two languages.