Subsequence Invariants

DOI10.1007/978-3-540-85361-9_17zbMath1160.68464OpenAlexW2911382519MaRDI QIDQ3541017

Klaus Dräger, Bernd Finkbeiner

Publication date: 25 November 2008

Published in: CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85361-9_17

Mathematics Subject Classification ID

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

Related Items

Subsequence Invariants

Cites Work

• Subword conditions and subword histories
• Automatic generation of invariants and intermediate assertions
• Subword histories and Parikh matrices
• Subsequence Invariants
• 10.1162/153244302760200687
• On Context-Free Languages
• Computer Aided Verification
• Unnamed Item
• Unnamed Item