Similar Items: An Analysis of Revisions to OAIS and the “Designated Community” in Digital Preservation
- Cost Preserving Bisimulations for Probabilistic Automata
- Preservation theorems for Tarski's relation algebra
- Capturing the polynomial hierarchy by second-order revised Krom logic
- Preservation and decomposition theorems for bounded degree structures
- Language Preservation Problems in Parametric Timed Automata
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets