05286859

a

05286859 Billington, Jonathan Han, Bing Formalising TCP's data transfer service language: a symbolic automaton and its properties. Penczek, Wojciech (ed.) et al., Half a century of inspirational research. Honoring the scientific influence of Antoni Mazurkiewicz. Amsterdam: IOS Press (ISBN 978-1-58603-805-2/pbk). 49-74 (2007). 2007 Amsterdam: IOS Press EN Zbl 1128.68005 Reprint from Fundam. Inform. 80, No. 1--3, 49--74 (2007; Zbl 1128.68005).