Timed lossy channel systems
From MaRDI portal
Publication:2957514
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
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