Local Testing of Message Sequence Charts Is Difficult

DOI10.1007/978-3-540-74240-1_8zbMath1135.68499OpenAlexW1890028643MaRDI QIDQ5444949

K. Narayan Kumar, Puneet Bhateja, Madhavan Mukund, Paul Gastin

Publication date: 26 February 2008

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74240-1_8

Mathematics Subject Classification ID

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

This page was built for publication: Local Testing of Message Sequence Charts Is Difficult