Aggregate approach for specification, validation, simulation and implementation of computer network protocols

DOI10.1007/BFb0019364zbMath1412.68018MaRDI QIDQ4560361

Henrikas Pranevitchius

Publication date: 11 December 2018

Published in: Baltic Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68M12: Network protocols

Cites Work

• A calculus of communicating systems