Parameterized models for distributed java objects

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

Volumn 3235, Issue , 2004, Pages 43-60

  Barros, Tomás ^a   Boulifa, Rabéa ^a   Madelaine, Eric ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DISTRIBUTED COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SEMANTICS;

BEHAVIOURAL SEMANTICS; EQUIVALENCE CHECKER; HIGH LEVEL PRIMITIVES; LABELLED TRANSITION SYSTEMS; PARAMETERIZED MODEL; PROACTIVE APPLICATIONS; REMOTE METHOD INVOCATIONS; TEMPORAL LOGIC PROPERTIES;

MODEL CHECKING;

EID: 35048834731     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30232-2_4     Document Type: Article

References (12)

1. Garavel, H., Lang, F.: NTIF: A general symbolic model for communicating sequential processes with data. In: Proceedings of FORTE'02 (Houston), LNCS 2529 (2002)
2. Arnold, A.: Finite transition systems. Semantics of communicating sytems. Prentice-Hall (1994)
3. Barros, T., Madelaine, E.: Formalisation and proofs of the Chilean electronic invoices system. Technical Report RR-5217, INRIA (2004)
4. Boulifa, R., Madelaine, E.: Model generation for distributed Java programs. In N. Guelfi, E. A., Reggio, G., eds.: Workshop on scientiFic engineering of Distributed Java applications, Luxembourg, Springer-Verlag, LNCS 2952 (2003)
5. Corbett, J., Dwyer, M., Hatcliff, J., Pasareanu, C., Laubach, S., Zheng, H.: Bandera: Extracting finite-state models from Java source code. Int. Conference on Software Engineering (ICSE) (2000)
6. Cleaveland, R., Riely, J.: Testing-based abstractions for value-passing systems. In: International Conference on Concurrency Theory. (1994) 417-432
7. Milner, R.: Communication and Concurrency. Prentice Hall (1989) ISBN 0-13114984-9.
8. Lakas, A.: Les Transformations Lotomaton: une contribution àla prÉ implémentation des systémes Lotos. PhD thesis (1996
9. Lin, H.: Symbolic transition graph with assignment. In Montanari, U., Sassone, V., eds.: CONCUR '96, Pisa, Italy, LNCS 1119 (199G)
10. Milner, PL, Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation 100 (1992)
11. Bouali, A., Ressouche, A., Roy, V., de Simone, R.: The fc2tools set. In Dill, D., ed.: Computer Aided Verification (CAV'94), Standford, Springer-Verlag, LNCS (1994)
12. Caromel, D., Klauser, W., Vayssière, J.: Towards seamless computing and meta-computing in Java. Concurrency Practice and Experience 10 (1998) 1043-1061