But what if I don't want to wait forever?

DOI10.1007/s001650300006zbMath1029.68015OpenAlexW2009491602MaRDI QIDQ1402477

Carron Shankland, Colin J. Fidge

Publication date: 27 August 2003

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://dspace.stir.ac.uk/bitstream/1893/10753/1/pgcl.pdf

zbMATH Keywords

Formal specificationVerificationProbabilistic reasoningIEEE 1394IEEE 1394a

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Network protocols (68M12)

Uses Software

• Uppaal2k

This page was built for publication: But what if I don't want to wait forever?