L. Aceto, A. Ingólfsdóttir, K. G. Larsen, and J. Srba, Reactive Systems, 2007.
DOI : 10.1017/CBO9780511814105

S. S. Bauer, A. David, R. Hennicker, K. G. Larsen, A. Legay et al., Moving from Specifications to Contracts in Component-Based Design, FASE, 2012.
DOI : 10.1007/978-3-642-28872-2_3
URL : http://vbn.aau.dk/ws/files/62431906/ownFASE2012.pdf

S. S. Bauer, U. Fahrenberg, L. Juhl, K. G. Larsen, A. Legay et al., Quantitative Refinement for Weighted Modal Transition Systems, MFCS, 2011.
DOI : 10.1007/978-3-642-22993-0_9
URL : https://hal.archives-ouvertes.fr/hal-01088046

S. S. Bauer, U. Fahrenberg, A. Legay, and C. Thrane, General Quantitative Specification Theories with Modalities, In CSR LNCS, vol.7353, 2012.
DOI : 10.1007/978-3-642-30642-6_3
URL : https://hal.archives-ouvertes.fr/hal-01087983

N. Bene?, I. ?erná, and J. K?etínský, Modal Transition Systems: Composition and LTL Model Checking
DOI : 10.1007/978-3-642-24372-1_17

N. Bene?, B. Delahaye, U. Fahrenberg, J. K?etínský, and A. Legay, Hennessy- Milner logic with greatest fixed points, In CONCUR LNCS, vol.8052, 2013.

N. Bene?, J. K?etínský, K. G. Larsen, M. H. Møller, and J. Srba, Parametric Modal Transition Systems
DOI : 10.1007/978-3-642-24372-1_20

N. Bene?, J. K?etínský, K. G. Larsen, and J. Srba, On determinism in modal transition systems, Theoretical Computer Science, vol.410, issue.41, pp.4104026-4043, 2009.
DOI : 10.1016/j.tcs.2009.06.009

N. Bene?, J. K?etínský, K. G. Larsen, and J. Srba, EXPTIME-completeness of thorough refinement on modal transition systems, Information and Computation, vol.218, pp.54-68, 2012.
DOI : 10.1016/j.ic.2012.08.001

P. Blackburn, Representation, reasoning, and relational structures: a hybrid logic manifesto, Logic Journal of IGPL, vol.8, issue.3, pp.339-365, 2000.
DOI : 10.1093/jigpal/8.3.339
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.3262

G. Boudol and K. G. Larsen, Graphical versus logical specifications, Theoretical Computer Science, vol.106, issue.1, pp.3-20, 1992.
DOI : 10.1016/0304-3975(92)90276-L
URL : https://hal.archives-ouvertes.fr/inria-00075455

J. Bradfield and C. Stirling, Modal mu-calculi. In The Handbook of Modal Logic, 2006.
DOI : 10.1016/s1570-2464(07)80015-2

L. Caires and L. Cardelli, A spatial logic for concurrency???II, Theoretical Computer Science, vol.322, issue.3, 2003.
DOI : 10.1016/j.tcs.2003.10.041

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, 1981.

L. De-alfaro, Quantitative Verification and Control via the Mu-Calculus, In CON- CUR LNCS, vol.2761, 2003.
DOI : 10.1007/978-3-540-45187-7_7

L. De-alfaro, T. A. Henzinger, and R. Majumdar, Discounting the Future in Systems Theory, ICALP, 2003.
DOI : 10.1007/3-540-45061-0_79

D. Gebler and W. Fokkink, Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics, In CONCUR LNCS, vol.7454, 2012.
DOI : 10.1007/978-3-642-32940-1_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.420.9410

J. B. Hart, L. Rafter, and C. Tsinakis, THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES, International Journal of Algebra and Computation, vol.12, issue.04, pp.509-524, 2002.
DOI : 10.1142/S0218196702001048

M. Hennessy, Acceptance trees, Journal of the ACM, vol.32, issue.4, pp.896-928, 1985.
DOI : 10.1145/4221.4249

D. Kozen, Results on the Propositional ??-Calculus, DAIMI Report Series, vol.11, issue.146, 1983.
DOI : 10.7146/dpb.v11i146.7420

K. G. Larsen, Modal specifications, Automatic Verification Methods for Finite State Systems, 1989.
DOI : 10.1007/3-540-52148-8_19

K. G. Larsen, Ideal specification formalism = expressivity + compositionality + decidability + testability +, CONCUR, 1990.

K. G. Larsen, Proof systems for satisfiability in Hennessy-Milner Logic with recursion, Theoretical Computer Science, vol.72, issue.2-3, pp.265-288, 1990.
DOI : 10.1016/0304-3975(90)90038-J

K. G. Larsen, Efficient local correctness checking, CAV, 1992.
DOI : 10.1007/3-540-56496-9_4

K. G. Larsen and L. Xinxin, Equation solving using modal transition systems, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
DOI : 10.1109/LICS.1990.113738

A. Mader, Verification of Modal Properties Using Boolean Equation Systems, 1997.

P. W. O-'hearn, J. C. Reynolds, and H. Yang, Local reasoning about programs that alter data structures, CSL, 2001.

A. N. Prior, Papers on Time and Tense, 1968.

J. Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, 2007.
DOI : 10.1016/j.entcs.2008.06.023
URL : https://hal.archives-ouvertes.fr/inria-00141898

J. Raclet, Residual for Component Specifications, Electronic Notes in Theoretical Computer Science, vol.215, pp.93-110, 2008.
DOI : 10.1016/j.entcs.2008.06.023
URL : https://hal.archives-ouvertes.fr/inria-00141898

J. C. Reynolds, Separation logic: a logic for shared mutable data structures, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 2002.
DOI : 10.1109/LICS.2002.1029817

D. Scott and J. W. De-bakker, A theory of programs, 1969.