Mixing lossy and perfect fifo channels

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5201 LNCS, Issue , 2008, Pages 340-355

  Chambart, P ^a   Schnoebelen, Ph ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC NETWORK TOPOLOGY; NETWORK PROTOCOLS; SENSOR NETWORKS;

ASYNCHRONOUS NETWORKS; COMPLETE CLASSIFICATIONS; FIFO CHANNELS; NETWORK TOPOLOGIES; REACHABILITY PROBLEMS; RELIABLE;

TOPOLOGY;

EID: 54249133449     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85361-9_28     Document Type: Conference Paper

References (21)

1. Abdulla, P.A., Baier, C., Purushothaman Iyer, S., Jonsson, B.: Simulating perfect channels with probabilistic lossy channels. Information and Computation 197(1-2), 22-40 (2005)
2. Abdulla, P.A., Bertrand, N., Rabinovich, A., Schnoebelen, Ph.: Verification of probabilistic systems with faulty communication. Information and Computation 202(2), 141-165 (2005)
3. Abdulla, P.A., Collomb-Annichini, A., Bouajjani, A., Jonsson, B.: Using forward reachability analysis for verification of lossy channel systems. Formal Methods in System Design 25(1), 39-65 (2004)
4. Abdulla, P.A., Jonsson, B.: Verifying programs with unreliable channels. Information and Computation 127(2), 91-101 (1996)
5. Baier, C., Bertrand, N., Schnoebelen, Ph.: On computing fixpoints in wellstructured regular model checking, with applications to lossy channel systems. In: Hermann, M., Voronkov, A. (eds.) LPAR 2006. LNCS (LNAI), vol. 4246, pp. 347-361. Springer, Heidelberg (2006)
6. Baier, C., Bertrand, N., Schnoebelen, Ph.: Verifying nondeterministic probabilistic channel systems against ω-regular linear-time propertie. ACM Trans. Computational Logic 9(1) (2007)
7. Bouyer, P., Markey, N., Ouaknine, J., Schnoebelen, Ph., Worrell, J.: On termination for faulty channel machines. In: Proc. STACS 2008, pp. 121-132 (2008)
8. Brand, D., Zafiropulo, P.: On communicating finite-state machines. Journal of the ACM 30(2), 323-342 (1983)
9. Cécé, G., Finkel, A., Purushothaman Iyer, S.: Unreliable channels are easier to verify than perfect channels. Information and Computation 124(1), 20-31 (1996)
10. Chambart, P., Schnoebelen, Ph.: Post embedding problem is not primitive recursive, with applications to channel systems. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol. 4855, pp. 265-276. Springer, Heidelberg (2007)
11. Chambart, P., Schnoebelen, Ph.: The ω-regular Post embedding problem. In: Amadio, R. (ed.) FOSSACS 2008. LNCS, vol. 4962, pp. 97-111. Springer, Heidelberg (2008)
12. Chambart, P., Schnoebelen, Ph.: The ordinal recursive complexity of lossy channel systems. In: Proc. LICS 2008, IEEE Comp. Soc. Press, Los Alamitos (2008)
13. Finkel, A.: Decidability of the termination problem for completely specificied protocols. Distributed Computing 7(3), 129-135 (1994)
14. Henriksen, J.G., Mukund, M., Kumar, K.N., Sohoni, M.A., Thiagarajan, P.S.: A theory of regular MSC languages. Information and Computation 202(1), 1-38 (2005)
15. Jurdziński, M., Lazić, R.: Alternation-free modal mu-calculus for data trees. In: Proc. LICS 2007, pp. 131-140. IEEE Comp. Soc. Press, Los Alamitos (2007)
16. Kurucz, A.: Combining modal logics. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logics, ch. 15, vol. 3, pp. 869-926. Elsevier Science, Amsterdam (2006)
17. Lasota, S., Walukiewicz, I.: Alternating timed automata. ACM Trans. Computational Logic 9(2) (2008)
18. Lohrey, M., Muscholl, A.: Bounded MSC communication. Information and Computation 189(2), 160-181 (2004)
19. Ouaknine, J., Worrell, J.: On the decidability and complexity of Metric Temporal Logic over finite words. Logical Methods in Comp. Science 3(1), 1-27 (2007)
20. Pachl, J.K.: Protocol description and analysis based on a state transition model with channel expressions. In: Proc. PSTV 1987, pp. 207-219. North-Holland, Amsterdam (1987)
21. Schnoebelen, Ph.: The verification of probabilistic lossy channel systems. In: Baier, C., et al. (eds.) Validation of Stochastic Systems - A Guide to Current Research. LNCS, vol. 2925, pp. 445-465. Springer, Heidelberg (2004)