scientific article; zbMATH DE number 5587270
From MaRDI portal
Publication:5190778
zbMath1193.68048MaRDI QIDQ5190778
Paul Gastin, Madhavan Mukund, K. Narayan Kumar
Publication date: 27 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (2)
Timed runtime monitoring for multiparty conversations ⋮ Regular set of representatives for time-constrained MSC graphs
This page was built for publication:
