Symbolic Termination and Confluence Checking for ECA Rules

DOI10.1007/978-3-662-45730-6_6zbMath1428.68201MaRDI QIDQ3452476

Xiao-qing Jin, Gianfranco Ciardo, Yousra Lembachar

Publication date: 12 November 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-45730-6_6

zbMATH Keywords

verification; confluence; termination; ECA rules

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

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