A Sound observational semantics for modal transition systems

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

Volumn 5684 LNCS, Issue , 2009, Pages 215-230

  Fischbein, Dario ^a   Braberman, Victor ^b   Uchitel, Sebastian ^a,b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSIDAD DE BUENOS AIRES   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOUR MODELS; LABELLED TRANSITION SYSTEMS; MODAL TRANSITION SYSTEMS; OBSERVATIONAL SEMANTICS; UNOBSERVABLE;

COMPUTER SCIENCE; LASER TISSUE INTERACTION; SEMANTICS;

MATHEMATICAL MODELS;

EID: 70349305673     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03466-4_14     Document Type: Conference Paper

References (21)

1. Antonik, A., Huth, M., Larsen, K.G., Nyman, U., Wasowski, A.: Complexity of decision problems for mixed and modal specifications. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.4962, pp. 112-126. Springer, Heidelberg (2008)
2. Brunet, G.: A Characterization of Merging Partial Behavioural Models. Master's thesis, Univ. of Toronto (January 2006)
3. Brunet, G., Chechik, M., Uchitel, S.: Properties of behavioural model merging. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.4085, pp. 98-114. Springer, Heidelberg (2006)
4. Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Formal Asp. Comput. 5(1), 1-20 (1993)
5. Dams, D.: Abstract Interpretation and Partition Refinement for Model Checking. PhD thesis, Eindhoven University of Technology, The Netherlands (July 1996)
6. Fischbein, D., Uchitel, S.: Behavioural model elaboration using mts. In: "Copenhagen" Meeting on Modal Transition Systems (2007)
7. Fischbein, D., Uchitel, S.: On correct and complete strong merging of partial behaviour models. In: SIGSOFT 2008/FSE-16, pp. 297-307. ACM Press, New York (2008)
8. Fischbein, D., Uchitel, S., Braberman, V.: A foundation for behavioural conformance in software product line architectures. In: ROSATEA (2006)
9. van Glabbeek, R.: What is branching time semantics and why to use it? In: Nielsen, M. (ed.) The Concurrency Column, pp. 190-198 (1994); Bulletin of the EATCS 53
10. Huth, M.: Refinement is complete for implementations. Formal Asp. Comput. 17(2), 113-137 (2005)
11. Hüttel, H., Larsen, K.G.: The use of static constructs in a modal process logic. In: Logic at Botik, pp. 163-180 (1989)
12. Jackson, M.: Software requirements & specifications: a lexicon of practice, principles and prejudices. ACM Press/Addison-Wesley Publishing Co. (1995)
13. Keller, R.M.: Formal verification of parallel programs. Commun. ACM (1976)
14. Larsen, K., Xinxin, L.: Equation Solving Using Modal Transition Systems. In: 5th Annual IEEE Symposium on Logic in Computer Science, pp. 108-117 (1990)
15. Larsen, K.G., Steffen, B., Weise, C.: A constraint oriented proof methodology based on modal transition systems. In: Brinksma, E., Steffen, B., Cleaveland, W.R., Larsen, K.G., Margaria, T. (eds.) TACAS 1995. LNCS, vol.1019. Springer, Heidelberg (1995)
16. Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS (1988)
17. Milner, R.: A modal characterisation of observable machine-behaviour. In: Astesiano, E., Böhm, C. (eds.) CAAP 1981. LNCS, vol.112, pp. 25-34. Springer, Heidelberg (1981)
18. Schneider, S., Schneider, S.A.: Concurrent and Real Time Systems: The CSP Approach. John Wiley & Sons, Inc., New York (1999)
19. Uchitel, S., Chechik, M.: Merging partial behavioural models. In: Taylor, R.N., Dwyer, M.B. (eds.) SIGSOFT FSE, pp. 43-52. ACM Press, New York (2004)
20. Uchitel, S., Kramer, J., Magee, J.: Behaviour Model Elaboration using Partial Labelled Transition Systems. In: ESEC/FSE 2003, pp. 19-27 (2003)
21. van Gabbeek, R.J.,Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555-600 (1996)