Automated Technology for Verification and Analysis

DOI10.1007/11562948zbMath1170.68516OpenAlexW4300912265MaRDI QIDQ5491887

Guy Edward Gallasch, Jonathan Billington

Publication date: 10 October 2006

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

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

zbMATH Keywords

Coloured Petri NetsStop and Wait ProtocolsLanguage EquivalenceParametric VerificationSymbolic AutomataSymbolic Reachability Graphs

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Parametric Language Analysis of the Class of Stop-and-Wait Protocols

This page was built for publication: Automated Technology for Verification and Analysis