Abstract
This paper is concerned with the formal specification and validation of telecommunication services. Firstly, we provide a method to model the telecommunication system. Based on
this result, we give the formal specification of telecommunication services and the detection of
feature interactions, using the Algebra of Communication Process with Abstraction (ACP)
Specification examples are
... read more
