메뉴 건너뛰기




Volumn 1783, Issue , 2000, Pages 266-283

Ready-simulation is not ready to express a modular refinement relation

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

EID: 84945295280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46428-x_19     Document Type: Conference Paper
Times cited : (21)

References (24)
  • 1
    • 0004025792 scopus 로고    scopus 로고
    • Cambridge University Press - ISBN 0521-496195
    • J. R. Abrial. The B Book. Cambridge University Press - ISBN 0521-496195, 1996.
    • (1996) The B Book
    • Abrial, J.R.1
  • 2
    • 0037743912 scopus 로고    scopus 로고
    • Extending B without changing it (For developing distributed sys- tems)
    • Nantes, France
    • J. R. Abrial. Extending B without changing it (for developing distributed sys- tems). In 1st Conference on the B method, pages 169-190, Nantes, France, November 1996.
    • (1996) 1St Conference on the B Method , pp. 169-190
    • Abrial, J.R.1
  • 6
    • 84949207890 scopus 로고    scopus 로고
    • Introducing dynamic constraints in B
    • Montpellier, France, April 1998. Springer Verlag
    • J. R. Abrial and L. Mussat. Introducing dynamic constraints in B. In Second Conference on the B method, LNCS 1393, pages 83-128, Montpellier, France, April 1998. Springer Verlag.
    • Second Conference on the B Method, LNCS 1393 , pp. 83-128
    • Abrial, J.R.1    Mussat, L.2
  • 7
    • 84949226473 scopus 로고    scopus 로고
    • MÉTÉOR: An industrial success in formal development
    • Montpellier, France, April, Springer Verlag. Invited lecture
    • P. Behm, P. Desforges, and J.M. Meynadier. MÉTÉOR: An industrial success in formal development. In Second conference on the B method, LNCS 1393, Montpellier, France, April 1998. Springer Verlag. Invited lecture.
    • (1998) Second Conference on the B Method, LNCS 1393
    • Behm, P.1    Desforges, P.2    Meynadier, J.M.3
  • 10
    • 0029229420 scopus 로고
    • Bisimulation can't be traced
    • January
    • B. Bloom, S. Istrail, and A. R. Meyer. Bisimulation can't be traced. Journal of the ACM, 42(1):232-268, January 1995.
    • (1995) Journal of the ACM , vol.42 , Issue.1 , pp. 232-268
    • Bloom, B.1    Istrail, S.2    Meyer, A.R.3
  • 11
    • 84858485761 scopus 로고
    • The linear time - Branching time spectrum II: The semantics of sequential systems with silent moves
    • Springer-Verlag, August
    • R. J. van Glabbeek. The linear time - branching time spectrum II: The semantics of sequential systems with silent moves. In Proc. CONCUR'93, Hildesheim, Germany, LNCS 715, pages 66-81. Springer-Verlag, August 1993.
    • (1993) Proc. CONCUR'93, Hildesheim, Germany, LNCS 715 , pp. 66-81
    • Van Glabbeek, R.J.1
  • 13
    • 84949188432 scopus 로고    scopus 로고
    • Specification of an integrated circuits card protocol application using B and linear temporal logic
    • Montpellier, France, April, Springer Verlag
    • J. Julliand, B. Legeard, T. Machicoane, B. Parreaux, and B. Tatibouet. Specification of an integrated circuits card protocol application using B and linear temporal logic. In Second conference on the B method, LNCS 1393, pages 273-292, Montpellier, France, April 1998. Springer Verlag.
    • (1998) Second Conference on the B Method, LNCS 1393 , pp. 273-292
    • Julliand, J.1    Legeard, B.2    Machicoane, T.3    Parreaux, B.4    Tatibouet, B.5
  • 19
    • 0000580989 scopus 로고
    • Galois connections
    • February
    • O. Ore. Galois connections. Trans. Amer. Math. Soc., (55):493-513, February 1944.
    • (1944) Trans. Amer. Math. Soc , vol.55 , pp. 493-513
    • Ore, O.1
  • 21
    • 0017678277 scopus 로고
    • Data types as lattices: Retractions, closures and projections
    • L. E. Sanchis. Data types as lattices: retractions, closures and projections. RAIRO Informatique Théorique et Applications, 11(4):329-344, 1977.
    • (1977) RAIRO Informatique Théorique Et Applications , vol.11 , Issue.4 , pp. 329-344
    • Sanchis, L.E.1
  • 22
    • 0039872812 scopus 로고
    • Property preserving homomorphisms of transition systems
    • Springer- Verlag, June
    • J. Sifakis. Property preserving homomorphisms of transition systems. In Proc. Logics of Programs Workshop, Pittsburgh, LNCS 164, pages 458-473. Springer- Verlag, June 1983.
    • (1983) Proc. Logics of Programs Workshop, Pittsburgh, LNCS 164 , pp. 458-473
    • Sifakis, J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.