Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

DOI10.1007/978-3-319-10882-7_22zbMath1432.68317OpenAlexW315928874MaRDI QIDQ2938174

Stefan Haar, Delphine Longuet, Hernán Ponce de León

Publication date: 13 January 2015

Published in: Theoretical Aspects of Computing – ICTAC 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10882-7_22

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Distributed computation of vector clocks in Petri net unfoldings for test selection

This page was built for publication: Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue