CAMERON J E, GRIFFETH N, LIN YJ. A feature interaction benchmark for IN and beyond [J]. IEEE Communications Magazine, 1993(3):64-69.doi:10.1109/35.199613.
[2]
PULVERMUELLER E, SPECK A, COPLIEN J. Feature interaction in composed systems [A]. Lodon:Springer-Verlag, 2001.86-97.
[3]
CALDER N, MAGILL E. Feature interactions in telecommunications and software systems (Ⅵ) [M]. Amsterdam:IOS Press, 2000.
[4]
MILNER R. Communicating and mobile systems:The π-calculus [M]. Cambridge:Cambridge University Press, 1999.
[5]
MILNER R. The polyadic π-calculus:A tutorial [A]. Beilin:Springer-Verlag, 1992.203-246.
[6]
KIMBLER K, BOUMA L G. Feature interactions in telecommunications and software systems (Ⅴ) [M]. Amsterdam:IOS Press, 1998.
[7]
BRADFIELD J, STIRLING C. Modal μ-calculi [A]. New York:Elsevier Science Ltd, 2006.721-756.
[8]
VICTOR B. The mobility workbench user’s guide:Polyadic version 3.122 [R]. Uppsala:Uppsala University, 1995.
[9]
VICTOR B. A verification tool for the polyadic π-calculus [R]. Uppsala:Uppsala University, 1994.
