scientific article

DOI10.4230/LIPICS.FSTTCS.2010.204zbMath1245.68129MaRDI QIDQ2908850

S. Akshay, Paul Gastin, K. Narayan Kumar, Madhavan Mukund

Publication date: 29 August 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_30c6.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

model-checkingmessage-passing systemtime-constrained MSC

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Quantitative Analysis of Communication Scenarios ⋮ Timed runtime monitoring for multiparty conversations ⋮ Regular set of representatives for time-constrained MSC graphs ⋮ Checking conformance for time-constrained scenario-based specifications

This page was built for publication: