Mechanical theorem proving system of universal purpose

von Gburzyński, Paweł
Veröffentlicht 1980

Protocol design for local and metropolitan area networks

von Gburzyński, Paweł
Veröffentlicht 1996

The LANSF protocol modeling environment : version 2.0

von Gburzyński, Paweł
Veröffentlicht 1989

The SMURPH protocol modeling environment : version 0.9

von Gburzynski, Paweł
Veröffentlicht 1990

An object-oriented configurable simulator for low-level communication protocols

von Gburzynski, Paweł
Veröffentlicht 1990

A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel

von Boruta, Agnieszka
Veröffentlicht in International Workshop on Concurrency, Specification and Programming (29. : 2021 : Berlin; Online) Concurrency, specification and programming (2023)

A distributed virtual machine environment

von Dobosiewicz, Włodek
Veröffentlicht 1989