Piotr Dembinski (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV 1993: 191-206

7 Piotr Dembinski, Stanislaw Budkowski: Simulating Estelle Specifications with Time Parameters. PSTV 1987: 265-279

6 Stanislaw Budkowski, Piotr Dembinski: An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks 14: 3-23 (1987)

Selection of 3 from 18 records - Piotr Dembinski has 22 coauthors

10		Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV 1993: 191-206
7		Piotr Dembinski, Stanislaw Budkowski: Simulating Estelle Specifications with Time Parameters. PSTV 1987: 265-279
6		Stanislaw Budkowski, Piotr Dembinski: An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks 14: 3-23 (1987)