On Termination for Faulty Channel Machines

DOI10.4230/LIPIcs.STACS.2008.1339zbMath1259.68120arXiv0802.2839MaRDI QIDQ4910713

Joël Ouaknine, Nicolas Markey, Patricia Bouyer, James Worrell, Philippe Schnoebelen

Publication date: 19 March 2013

Full work available at URL: https://arxiv.org/abs/0802.2839

zbMATH Keywords

computational complexityautomated verification

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (3)

On termination and invariance for faulty channel machines ⋮ Mixing Lossy and Perfect Fifo Channels ⋮ Some Recent Results in Metric Temporal Logic

This page was built for publication: On Termination for Faulty Channel Machines