메뉴 건너뛰기




Volumn 2003-January, Issue , 2003, Pages 216-235

Behavioral verification of distributed concurrent systems with BOBJ

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

EID: 84945183358     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319106     Document Type: Conference Paper
Times cited : (15)

References (35)
  • 3
    • 24344482751 scopus 로고    scopus 로고
    • Technical Report LSV-03-9, Laboratoire Spcification et Verification, CNRS de Cachan March
    • Michel Bidoit and Rolf Hennicker. Constructor-based observational logic. Technical Report LSV-03-9, Laboratoire Spcification et Verification, CNRS de Cachan, March 2003.
    • (2003) Constructor-based Observational Logic
    • Bidoit, M.1    Hennicker, R.2
  • 5
    • 0003116292 scopus 로고
    • An informal introduction to specifications using Clear
    • Robert Boyer and J Moore, editors Academic
    • Rod Burstall and Joseph Goguen. An informal introduction to specifications using Clear. In Robert Boyer and J Moore, editors, The Correctness Problem in Computer Science, pages 185-213. Academic, 1981.
    • (1981) The Correctness Problem in Computer Science , pp. 185-213
    • Burstall, R.1    Goguen, J.2
  • 9
    • 0001858965 scopus 로고    scopus 로고
    • Behavioural coherence in object-oriented algebraic specification
    • Razvan Diaconescu and Kokichi Futatsugi. Behavioural coherence in object-oriented algebraic specification. Journal of Universal Computer Science, 6(1):74-96, 2000.
    • (2000) Journal of Universal Computer Science , vol.6 , Issue.1 , pp. 74-96
    • Diaconescu, R.1    Futatsugi, K.2
  • 10
    • 0003307585 scopus 로고
    • Fundamentals of algebraic specification 1: Equations and initial semantics
    • Springer
    • Hartmut Ehrig and Bernd Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, 1985. EATCS Monographs on Theoretical Computer Science, Vol. 6.
    • (1985) EATCS Monographs on Theoretical Computer Science , vol.6
    • Ehrig, H.1    Mahr, B.2
  • 12
    • 0000039028 scopus 로고
    • Principles of parameterized programming
    • Ted Biggerstaff and Alan Perlis, editors Addison Wesley
    • Joseph Goguen. Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors, Software Reusability, Volume I: Concepts and Models, pages 159-225. Addison Wesley, 1989.
    • (1989) Software Reusability: Concepts and Models , vol.1 , pp. 159-225
    • Goguen, J.1
  • 13
    • 0002789583 scopus 로고
    • Types as theories
    • George Michael Reed, Andrew William Roscoe, and Ralph F. Wachter, editors Oxford Proceedings of a Conference held at Oxford, June 1989
    • Joseph Goguen. Types as theories. In George Michael Reed, Andrew William Roscoe, and Ralph F. Wachter, editors, Topology and Category Theory in Computer Science, pages 357-390. Oxford, 1991. Proceedings of a Conference held at Oxford, June 1989.
    • (1991) Topology and Category Theory in Computer Science , pp. 357-390
    • Goguen, J.1
  • 14
    • 0026444654 scopus 로고
    • Institutions: Abstract model theory for specification and programming
    • January
    • Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
    • (1992) Journal of the Association for Computing Machinery , vol.39 , Issue.1 , pp. 95-146
    • Goguen, J.1    Burstall, R.2
  • 15
    • 84969364034 scopus 로고
    • Towards an algebraic semantics for the object paradigm
    • Hartmut Ehrig and Fernando Orejas, editors Springer Lecture Notes in Computer Science
    • Joseph Goguen and Razvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, pages 1-29. Springer, 1994. Lecture Notes in Computer Science, Volume 785.
    • (1994) Proceedings, Tenth Workshop on Abstract Data Types , vol.785 , pp. 1-29
    • Goguen, J.1    Diaconescu, R.2
  • 16
    • 0035563205 scopus 로고    scopus 로고
    • Web-based support for cooperative software engineering
    • Special issue for papers from a conference in Taipei, December 2000
    • Joseph Goguen and Kai Lin. Web-based support for cooperative software engineering. Annals of Software Engineering, 12:25-32, 2001. Special issue for papers from a conference in Taipei, December 2000.
    • (2001) Annals of Software Engineering , vol.12 , pp. 25-32
    • Goguen, J.1    Lin, K.2
  • 17
    • 84960940206 scopus 로고    scopus 로고
    • Circular coinductive rewriting
    • IEEE Proceedings of a workshop held in Grenoble, France
    • Joseph Goguen, Kai Lin, and Grigore Rosu. Circular coinductive rewriting. In Automated Software Engineering '00, pages 123-131. IEEE, 2000. Proceedings of a workshop held in Grenoble, France.
    • (2000) Automated Software Engineering '00 , pp. 123-131
    • Goguen, J.1    Lin, K.2    Rosu, G.3
  • 18
    • 84945185963 scopus 로고    scopus 로고
    • Behavioral and coinductive rewriting
    • Elsevier Electronic Notes on Theoretical Computer Science
    • Joseph Goguen, Kai Lin, and Grigore Rosu. Behavioral and coinductive rewriting. In Proceedings, Rewriting Logic Workshop, 2000. Elsevier, 2001. Electronic Notes on Theoretical Computer Science, Volume 36, at www.elsevier.nl/locate/entcs/volume36.html.
    • (2000) Proceedings, Rewriting Logic Workshop , vol.36 , pp. 2001
    • Goguen, J.1    Lin, K.2    Rosu, G.3
  • 19
    • 84978604948 scopus 로고    scopus 로고
    • Hidden coinduction: Behavioral correctness proofs for objects
    • June
    • Joseph Goguen and Grant Malcolm. Hidden coinduction: Behavioral correctness proofs for objects. Mathematical Structures in Computer Science, 9(3):287-319, June 1999.
    • (1999) Mathematical Structures in Computer Science , vol.9 , Issue.3 , pp. 287-319
    • Goguen, J.1    Malcolm, G.2
  • 20
    • 0002583222 scopus 로고    scopus 로고
    • A hidden agenda
    • August Also UCSD Dept. Computer Science & Eng. Technical Report CS97-538, May 1997
    • Joseph Goguen and Grant Malcolm. A hidden agenda. Theoretical Computer Science, 245(1):55-101, August 2000. Also UCSD Dept. Computer Science & Eng. Technical Report CS97-538, May 1997.
    • (2000) Theoretical Computer Science , vol.245 , Issue.1 , pp. 55-101
    • Goguen, J.1    Malcolm, G.2
  • 21
    • 0027116146 scopus 로고
    • Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
    • Drafts exist from as early as 1985
    • Joseph Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992. Drafts exist from as early as 1985.
    • (1992) Theoretical Computer Science , vol.105 , Issue.2 , pp. 217-273
    • Goguen, J.1    Meseguer, J.2
  • 22
    • 84949496605 scopus 로고    scopus 로고
    • Hiding more of hidden algebra
    • Jeannette Wing, Jim Woodcock, and Jim Davies, editors Springer Lecture Notes in Computer Sciences Proceedings of World Congress on Formal Methods, Toulouse, France
    • Joseph Goguen and Grigore Rosu. Hiding more of hidden algebra. In Jeannette Wing, Jim Woodcock, and Jim Davies, editors, FM'99-Formal Methods, pages 1704-1719. Springer, 1999. Lecture Notes in Computer Sciences, Volume 1709, Proceedings of World Congress on Formal Methods, Toulouse, France.
    • (1999) FM'99-Formal Methods , vol.1709 , pp. 1704-1719
    • Goguen, J.1    Rosu, G.2
  • 23
    • 0042599636 scopus 로고    scopus 로고
    • A protocol for distributed cooperative work
    • Gheorghe Stefanescu, editor (Iaşi, Romania) Elsevier Electronic Lecture Notes in Theoretical Computer Science
    • Joseph Goguen and Grigore Rosu. A protocol for distributed cooperative work. In Gheorghe Stefanescu, editor, Proceedings, FCT'99, Workshop on Distributed Systems (Iaşi, Romania), volume 28, pages 1-22. Elsevier, 1999. Electronic Lecture Notes in Theoretical Computer Science.
    • (1999) Proceedings, FCT'99, Workshop on Distributed Systems , vol.28 , pp. 1-22
    • Goguen, J.1    Rosu, G.2
  • 29
    • 0002928286 scopus 로고
    • Initiality, induction and computability
    • Maurice Nivat and John Reynolds, editors Cambridge
    • José Meseguer and Joseph Goguen. Initiality, induction and computability. In Maurice Nivat and John Reynolds, editors, Algebraic Methods in Semantics, pages 459-541. Cambridge, 1985.
    • (1985) Algebraic Methods in Semantics , pp. 459-541
    • Meseguer, J.1    Goguen, J.2
  • 30
    • 0003276135 scopus 로고
    • A calculus of communicating systems
    • Springer
    • Robin Milner. A Calculus of Communicating Systems. Springer, 1980. Lecture Notes in Computer Science, Volume 92.
    • (1980) Lecture Notes in Computer Science , vol.92
    • Milner, R.1
  • 31
    • 84945924340 scopus 로고
    • Concurrency and automata on infinite sequences
    • Springer
    • David M.R. Park. Concurrency and Automata on Infinite Sequences. Springer, 1980. Lecture Notes in Computer Science, Volume 104.
    • (1980) Lecture Notes in Computer Science , vol.104
    • Park, D.M.R.1
  • 32
    • 0347567659 scopus 로고
    • Behavioural equivalence-a unifying concept for initial and final specifications
    • Akademiai Kiado Budapest
    • Horst Reichel. Behavioural equivalence-a unifying concept for initial and final specifications. In Proceedings, Third Hungarian Computer Science Conference. Akademiai Kiado, 1981. Budapest.
    • (1981) Proceedings, Third Hungarian Computer Science Conference
    • Reichel, H.1
  • 33
    • 0004193326 scopus 로고    scopus 로고
    • PhD thesis, University of California at San Diego
    • Grigore Rosu. Hidden Logic. PhD thesis, University of California at San Diego, 2000.
    • (2000) Hidden Logic
    • Rosu, G.1
  • 34
    • 0004466761 scopus 로고    scopus 로고
    • Hidden congruent deduction
    • Ricardo Caferra and Gernot Salzer, editors Technische Universität Wien (Schloss Wilhelminenberg, Vienna, November 23-25, 1998
    • Grigore Rosu and Joseph Goguen. Hidden congruent deduction. In Ricardo Caferra and Gernot Salzer, editors, Proceedings, 1998 Workshop on First Order Theorem Proving, pages 213-223. Technische Universität Wien, 1998. (Schloss Wilhelminenberg, Vienna, November 23-25, 1998).
    • (1998) Proceedings 1998 Workshop on First Order Theorem Proving , pp. 213-223
    • Rosu, G.1    Goguen, J.2


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