Timed lossy channel systems

DOI10.4230/LIPIcs.FSTTCS.2012.374zbMath1354.68163OpenAlexW1878355104MaRDI QIDQ2957514

Jonathan Cederberg, Mohamed Faouzi Atig, Parosh Aziz Abdulla

Publication date: 26 January 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.374

zbMATH Keywords

timed automatamodel checkinglossy channel systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12)

Related Items (2)

The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings ⋮ Timed Basic Parallel Processes

This page was built for publication: Timed lossy channel systems