Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68198OpenAlexW2739785336MaRDI QIDQ5899072

Insup Lee, Oleg Sokolsky, Sampath Kannan

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (5)

A comparative analysis of the Tanimoto index and graph edit distance for measuring the topological similarity of trees ⋮ Similarity in languages and programs ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS ⋮ Limited approximate bisimulations and the corresponding rough approximations ⋮ Fifty years of graph matching, network alignment and network comparison

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems