메뉴 건너뛰기




Volumn 1578, Issue , 1999, Pages 243-257

A complete coinductive logical system for bisimulation equivalence on circular objects

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

EID: 18944378940     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49019-1_17     Document Type: Conference Paper
Times cited : (3)

References (23)
  • 3
    • 18944362200 scopus 로고    scopus 로고
    • Vicious circles: On the mathematics of non-wellfounded phenomena
    • L Barwise, L Moss. Vicious circles: On the mathematics of non-wellfounded phenomena, CSLI Publications, Stanford, 1996.
    • (1996) CSLI Publications, Stanford
    • Barwise, L.1    Moss, L.2
  • 4
    • 84958972841 scopus 로고    scopus 로고
    • Coinductive axiomatization of recursive type equality and subtyping
    • P.de Groote, R.Hindley, eds., Springer LNCS 1210
    • M Brandt, F Henglein. Coinductive axiomatization of recursive type equality and subtyping, TLCA’97Conf. Proc., P.de Groote, R.Hindley, eds., Springer LNCS 1210, 1997, 63-81.
    • (1997) TLCA’97Conf. Proc , pp. 63-81
    • Brandt, M.1    Henglein, F.2
  • 5
    • 0345776125 scopus 로고
    • Infinite Objects in Type Theory
    • Springer LNCS
    • T Coquand. Infinite Objects in Type Theory, Types for Proofs and Programs TYPES-93, Springer LNCS 806, 1994, 62-78.
    • (1994) Types for Proofs and Programs TYPES-93 , vol.806 , pp. 62-78
    • Coquand, T.1
  • 6
    • 0006407653 scopus 로고    scopus 로고
    • A Coinduction Principle for Recursive Data Types Based on Bisimulation
    • M Fiore. A Coinduction Principle for Recursive Data Types Based on Bisimulation, Inf. & Comp. 127, 1996, 186-198.
    • (1996) Inf. & Comp , vol.127 , pp. 186-198
    • Fiore, M.1
  • 7
    • 0000787751 scopus 로고
    • Elonsell. Set theory with free construction principles
    • M Forti, F Elonsell. Set theory with free construction principles, Ann. Scuola Norm. Sup. Pisa, Cl. Sci. (4) 10, 1983, 493-522.
    • (1983) Ann. Scuola Norm. Sup. Pisa, Cl. Sci. (4) , vol.10 , pp. 493-522
    • M Forti, F.1
  • 8
    • 84948168202 scopus 로고
    • Codifying guarded definitions with recursive schemes
    • P.Dybjer et al. eds., Springer LNCS 996
    • E Giménez. Codifying guarded definitions with recursive schemes, Workshop on Types for Proofs and Programs, P.Dybjer et al. eds., Springer LNCS 996, 1994, 39-59.
    • (1994) Workshop on Types for Proofs and Programs , pp. 39-59
    • Giménez, E.1
  • 9
    • 24444481080 scopus 로고
    • An application of co-Inductive types in Coq: Verification of the Alternating Bit Protocol
    • E Giménez. An application of co-Inductive types in Coq: verification of the Alternating Bit Protocol, Workshop Types Proofs and Programs, 1995.
    • (1995) Workshop Types Proofs and Programs
    • Giménez, E.1
  • 11
    • 84947437004 scopus 로고
    • Final Semantics for Untyped Lambda Calculus
    • M.Dezani et al eds., Springer LNCS 902
    • F Honsell, M Lenisa. Final Semantics for Untyped Lambda Calculus, TLCA’95 Conf. Proc., M.Dezani et al eds., Springer LNCS 902, 1995, 249-265.
    • (1995) TLCA’95 Conf. Proc , pp. 249-265
    • Honsell, F.1    Lenisa, M.2
  • 12
    • 84947908685 scopus 로고    scopus 로고
    • Final Semantics for a Higher Order Concurrent Language
    • H.Kirchner et. al. eds., Springer LNCS 1059
    • M Lenisa. Final Semantics for a Higher Order Concurrent Language, CAAP’96, H.Kirchner et. al. eds., Springer LNCS 1059, 1996, 102-118.
    • (1996) CAAP’96 , pp. 102-118
    • Lenisa, M.1
  • 13
    • 0004487893 scopus 로고    scopus 로고
    • Ph.D. Thesis TD-6/98, Diparti- mento di Informatica, Università di Pisa, March
    • M Lenisa. Themes in Final Semantics, Ph.D. Thesis TD-6/98, Diparti- mento di Informatica, Università di Pisa, March 1998.
    • (1998) Themes in Final Semantics
    • Lenisa, M.1
  • 15
    • 0001530725 scopus 로고
    • Calculi for synchrony and asynchrony
    • R Milner. Calculi for synchrony and asynchrony, TCS 25, 1983, 267-310.
    • (1983) TCS , vol.25 , pp. 267-310
    • Milner, R.1
  • 16
    • 0000066575 scopus 로고
    • A complete inference system for a class of regular behaviours
    • R Milner. A complete inference system for a class of regular behaviours, I. of Computer and System Sciences 28, 1984, 39-466.
    • (1984) I. Of Computer and System Sciences , vol.28 , pp. 39-466
    • Milner, R.1
  • 18
    • 0002796916 scopus 로고    scopus 로고
    • Relational Properties of Domains
    • A.M Pitts. Relational Properties of Domains, Inf. & Comp. 127, 1996.
    • (1996) Inf. & Comp , pp. 127
    • Pitts, A.M.1
  • 19
    • 84937695624 scopus 로고
    • Department of Computer Science, University of Edinburgh
    • G.Plotkin. Types and Partial Functions, Post-Graduate Lecture Notes, Department of Computer Science, University of Edinburgh, 1985.
    • (1985) Post-Graduate Lecture Notes
    • Types, G.1    Functions, P.2
  • 20
    • 84937709034 scopus 로고    scopus 로고
    • Universal coalgebra: a theory of systems, Report CS- R9652, CWI, Amsterdam
    • J.J.M.M Rutten. Universal coalgebra: a theory of systems, Report CS- R9652, CWI, Amsterdam, 1996.
    • (1996)
    • Rutten, J.1
  • 21
    • 84962687423 scopus 로고
    • On the Foundations of Final Semantics: NonStandard Sets
    • J.de Bakker et al. eds., Springer LNCS 666
    • J J M M Rutten, D Turi. On the Foundations of Final Semantics: NonStandard Sets, Metric Spaces, Partial Orders, REX Conf. Proc., J.de Bakker et al. eds., Springer LNCS 666, 1993, 477-530.
    • (1993) Metric Spaces, Partial Orders, REX Conf. Proc , pp. 477-530
    • Rutten, J.1    Turi, D.2
  • 22
    • 84937681132 scopus 로고
    • A Theory for Program and Data type Specification
    • C Talcott. A Theory for Program and Data type Specification, TCS, Disco90 Special Issue, 1990.
    • (1990) TCS, Disco90 Special Issue
    • Talcott, C.1


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