Subsequence Invariants

DOI10.1007/978-3-540-85361-9_17zbMATH Open1160.68464OpenAlexW2911382519MaRDI QIDQ3541017FDOQ3541017

Authors: 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

Recommendations

• Invariants, composition, and substitution
• Composing invariants
• Invariants for time-series constraints
• Invariant structures and dependence relations
• scientific article; zbMATH DE number 7364138

Mathematics Subject Classification ID

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

Cites Work

• Injectivity of the Parikh matrix mappings revisited
• On Context-Free Languages
• Automatic generation of invariants and intermediate assertions
• Subword histories and Parikh matrices
• 10.1162/153244302760200687
• Computer Aided Verification
• Subword conditions and subword histories
• Title not available (Why is that?)
• Subsequence Invariants

Cited In (4)

• Subsequence Invariants
• Subsequences of frames
• Invariants, composition, and substitution
• Recovering Repetitive Sub-functions from Observations

This page was built for publication: Subsequence Invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3541017)