메뉴 건너뛰기




Volumn 18, Issue , 1998, Pages 159-170

Derivation of characteristic formulae

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FINITE ELEMENT METHOD; FORMAL LOGIC; MATHEMATICAL MODELS; MODAL ANALYSIS; SET THEORY;

EID: 0037801420     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80257-9     Document Type: Conference Paper
Times cited : (32)

References (14)
  • 1
    • 84951123519 scopus 로고    scopus 로고
    • Model-checking the full-modal mu-calculus for infinite sequential processes
    • Springer-Verlag
    • Burkart O., Steffen B. Model-checking the full-modal mu-calculus for infinite sequential processes. ICALP ′97, LNCS. 1256:1997;419-429 Springer-Verlag
    • (1997) ICALP ′97, LNCS , vol.1256 , pp. 419-429
    • Burkart, O.1    Steffen, B.2
  • 2
    • 0022520256 scopus 로고
    • A modal characterization of observational congruence on finite terms of CCS
    • Graf S., Sifakis J. A modal characterization of observational congruence on finite terms of CCS. Information and Control. 68:1986;125-145
    • (1986) Information and Control , vol.68 , pp. 125-145
    • Graf, S.1    Sifakis, J.2
  • 3
    • 0021974161 scopus 로고
    • Algebraic laws for nondeterminism and concurrency
    • Hennessy M.C.B., Milner R. Algebraic laws for nondeterminism and concurrency. JACM. 32:(1):1985;137-161
    • (1985) JACM , vol.32 , Issue.1 , pp. 137-161
    • Hennessy, M.C.B.1    Milner, R.2
  • 4
    • 84878552423 scopus 로고    scopus 로고
    • Deciding bisimulation-like equivalences with finite-state processes
    • Springer-Verlag
    • JanČcar P., KuČcera A., Mayr R. Deciding bisimulation-like equivalences with finite-state processes. ICALP ′98, LNCS. 1443:1998;200-211 Springer-Verlag
    • (1998) ICALP ′98, LNCS , vol.1443 , pp. 200-211
    • Jančcar, P.1    Kučcera, A.2    Mayr, R.3
  • 5
    • 49049126479 scopus 로고
    • Results on the propositional mu-calculus
    • Kozen D. Results on the propositional mu-calculus. TCS. 27:1983;333-354
    • (1983) TCS , vol.27 , pp. 333-354
    • Kozen, D.1
  • 6
    • 0040859656 scopus 로고
    • A finite model theorem for the propositional μ-calculus
    • Kozen D. A finite model theorem for the propositional μ-calculus. Studia Logica. 47:1988;233-241
    • (1988) Studia Logica , vol.47 , pp. 233-241
    • Kozen, D.1
  • 7
    • 84957798874 scopus 로고
    • Modal μ-calculus, model checking and Gauss elimination
    • Springer-Verlag
    • Mader A. Modal μ-calculus, model checking and Gauss elimination. TACAS ′95, LNCS. 1019:1995;72-88 Springer-Verlag
    • (1995) TACAS ′95, LNCS , vol.1019 , pp. 72-88
    • Mader, A.1
  • 9
    • 84945924340 scopus 로고
    • Concurrency and automata on infinite sequences
    • Springer-Verlag
    • Park D.M.R. Concurrency and automata on infinite sequences. In LNCS 154. 1981;561-572 Springer-Verlag
    • (1981) In LNCS 154 , pp. 561-572
    • Park, D.M.R.1
  • 10
    • 84926414743 scopus 로고
    • Characteristic formulae
    • Springer-Verlag
    • Steffen B. Characteristic formulae. Concur ′89, LNCS. 372:1989;723-732 Springer-Verlag
    • (1989) Concur ′89, LNCS , vol.372 , pp. 723-732
    • Steffen, B.1
  • 11
    • 0001422438 scopus 로고
    • Characteristic formulae for processes with divergence
    • Steffen B., Ingólfsdóttir A. Characteristic formulae for processes with divergence. Information and Computation. 110:(1):1994;149-163
    • (1994) Information and Computation , vol.110 , Issue.1 , pp. 149-163
    • Steffen, B.1    Ingólfsdóttir, A.2
  • 12
    • 84972541021 scopus 로고
    • A lattice-theoretical fixpoint theorem and its application
    • Tarski A. A lattice-theoretical fixpoint theorem and its application. Pacific Journal of Mathematics. 5:1955;285-309
    • (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
    • Tarski, A.1
  • 13
    • 0025418238 scopus 로고
    • Bisimulations and divergence in CCS
    • Walker D.J. Bisimulations and divergence in CCS. Information and Computation. 85:(2):1990;202-241
    • (1990) Information and Computation , vol.85 , Issue.2 , pp. 202-241
    • Walker, D.J.1
  • 14
    • 0004517938 scopus 로고    scopus 로고
    • Pushdown processes: Games and model-checking
    • Springer-Verlag
    • Walukiewicsz I. Pushdown processes: games and model-checking. CAV'96, LNCS 1102. 1996;Springer-Verlag
    • (1996) CAV'96, LNCS 1102
    • Walukiewicsz, I.1


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