1: \begin{thebibliography}{10}
2:
3: \bibitem{benabdallah97syntactic}
4: H.~Ben-Abdallah and S.~Leue.
5: \newblock Syntactic detection of process divergence and non-local choice in
6: message sequence charts.
7: \newblock In {E. Brinksma}, editor, {\em {T}ools and {A}lgorithms for the
8: {C}onstruction and {A}nalysis of {S}ystems}, volume 1217 of {\em Lecture
9: Notes in Computer Science}, pages 259--274. Springer Verlag, 1997.
10:
11: \bibitem{deussen98a}
12: P.~Deussen.
13: \newblock Concurrent automata.
14: \newblock Technical Report 1-05/1998, Brandenburg Tech. Univ. Cottbus, 1998.
15:
16: \bibitem{etsi01:TTCN3}
17: ETSI.
18: \newblock The tree and tabular combined notation version 3; part 1: {TTCN-3}
19: core language.
20: \newblock Technical Report ES 201 873-1, ETSI, 2001.
21:
22: \bibitem{grabowski81}
23: J.~Grabowski.
24: \newblock On partial languages.
25: \newblock {\em Fundamenta Informaticae}, 4(2):427--498, 1981.
26:
27: \bibitem{grabowski00:_ttcn_sdl_msc_inap}
28: J.~Grabowski and D.~Hogrefe.
29: \newblock {TTCN} {SDL}- and {MSC}-based specification and automated test case
30: generation for inap.
31: \newblock In {\em Proceedings of the 8th International Conference on
32: Telecommunication Systems {(ICTS'2000)} - Modeling and Analysis}, Nashville,
33: March 2000.
34:
35: \bibitem{ITU-Z120}
36: ITU-T.
37: \newblock {ITU-T} recommendation z.120 message sequence chart ({MSC}).
38: \newblock Technical report, ITU-T, 1999.
39:
40: \bibitem{jonsson01:_execut_seman_msc}
41: B.~Jonsson and G.~Padilla.
42: \newblock An execution semantics of {MSC-2000}.
43: \newblock In R.~Reed and J.~Reed, editors, {\em Proceedings of the 10th
44: Internation {{SDL}-Forum}}, number 2078 in Lecture Notes in Computer Science.
45: Springer Verlag, 2001.
46:
47: \bibitem{kat-lam98}
48: J.-P. Katoen and L.~Lambert.
49: \newblock Pomsets for message sequence charts.
50: \newblock In {\em Proc. of 1st Workshop of the {SDL} Forum Society on {SDL} and
51: {MSC}, {SAM98}}, Berlin, 1998.
52:
53: \bibitem{mauw-reniers97}
54: S.~Mauw and M.~A. Reniers.
55: \newblock Operational semantics for {MSC'96}.
56: \newblock In A.~Cavalli and D.~Vincent, editors, {\em Tutorials of the Eighth
57: {SDL} Forum SDl'97: Time for Testing - {SDL}, {MSC} and Trends}, pages
58: 135--152, Evry, France, 1997. Institut national des télécommunications.
59:
60: \bibitem{maz95}
61: A.~Mazurkiewicz.
62: \newblock Introduction to trace theory.
63: \newblock In V.~Diekert and G.~Rozenberg, editors, {\em The Book of Traces},
64: chapter~1, pages 3 -- 42. World Scientific, Singapore --- New Jersey ---
65: London --- Hong Kong, 1995.
66:
67: \bibitem{pratt86}
68: V.~Pratt.
69: \newblock Modelling concurrency with partial orders.
70: \newblock {\em International Journal of Parallel Programming}, 15(1):33--71,
71: 1986.
72:
73: \bibitem{scheurer98:_revis_compar_autom_gener_manual}
74: R.~Scheurer, J.~Grabowski, and D.~Hogrefe.
75: \newblock Revised comparison of an automatically generated and a manually
76: specified test suite for the {B-ISDN} protocol {SSCOP}.
77: \newblock In H.~K{\"o}nig and P.~Langend{\"o}rfer, editors, {\em {FBT'98} -
78: Formale Beschreibungstechniken für verteilte Systeme}. Shaker Verlag, Aachen,
79: 1998.
80: \newblock Available online from \url{http://www.itm.mu-luebeck.de/}.
81:
82: \bibitem{schhulz02:_implem_ttcn_test_system_tri}
83: S.~Schhulz and T.~Vassiliou-Gioles.
84: \newblock Implementation of {TTCN-3} test systems using the {TRI}.
85: \newblock In I.~Schieferdecker, K.~H, and A.~Wolisz, editors, {\em Testing of
86: Communication Systems {XIV}, Proc. of {TestCom-2002}}, pages 425--442,
87: Berlin, Germany, 2002. Kluwer Academic Publishers.
88:
89: \bibitem{schmitt00:_test_gener_autol_testc}
90: M.~Schmitt, M.~Ebner, and J.~Grabowski.
91: \newblock Test generation with autolink and testcomposer.
92: \newblock In {\em Proceedings of the 2nd Workshop of the {SDL} Forum Society on
93: {{SDL}} and {MSC} ({SAM'2000})}. {SDL} Forum Society, 2000.
94: \newblock Proceedings available online from
95: \url{http://www.irisa.fr/manifestations/2000/sam2000/}.
96:
97: \end{thebibliography}
98: