Verifying lossy channel systems has nonprimitive recursive complexity
Information Processing Letters
Bisimulation and Other Undecidable Equivalences for Lossy Channel Systems
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
SAT-Solving the Coverability Problem for Petri Nets
Formal Methods in System Design
Hi-index | 0.00 |