Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/B96393zbMath1126.68318OpenAlexW4299869287MaRDI QIDQ5308421

Tristan Crolard, Danièle Beauquier, Evguenia Prokofieva

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96393

zbMATH Keywords

predicate logicreal-time distributed systemsGurevich abstract state machinesIEEE 1394a standardParametric verificationroot contention protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12)

Related Items (1)

Periodicity based decidable classes in a first order timed logic

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems