메뉴 건너뛰기




Volumn 41, Issue 3, 2000, Pages 259-294

On topological hierarchies of temporal properties

Author keywords

Partial order models; Safety, liveness, response and persistence properties; Temporal logic; Topological characterization

Indexed keywords


EID: 0039770001     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-2000-41301     Document Type: Article
Times cited : (7)

References (35)
  • 2
    • 0001847686 scopus 로고
    • Domain theory
    • S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Clarendon Press
    • S. Abramsky, A. Jung, Domain Theory, In S. Abramsky, D.M. Gabbay and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, vol. 3, Clarendon Press, 1994.
    • (1994) Handbook of Logic in Computer Science , vol.3
    • Abramsky, S.1    Jung, A.2
  • 5
    • 0039805377 scopus 로고    scopus 로고
    • Denotational linear time semantics and sequential composition
    • C. Baier, M. Majster-Cederbaum: Denotational Linear Time Semantics and Sequential Composition, Information Processing Letters, Vol. 59, pp 135-143, 1996.
    • (1996) Information Processing Letters , vol.59 , pp. 135-143
    • Baier, C.1    Majster-Cederbaum, M.2
  • 6
    • 0031295244 scopus 로고    scopus 로고
    • Metric semantics from partial order semantics
    • C. Baier, M. Majster-Cederbaum: Metric Semantics from Partial Order Semantics, Acta Informatica, Vol. 34, pp 701-735, 1997.
    • (1997) Acta Informatica , vol.34 , pp. 701-735
    • Baier, C.1    Majster-Cederbaum, M.2
  • 7
    • 85032300457 scopus 로고
    • Metric pomset semantics for a concurrent language with recursion
    • I. Guessarian, editor, Springer-Verlag
    • J.W. de Bakker, J.H.A. Warmerdam, Metric pomset semantics for a concurrent language with recursion, In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, LNCS vol. 469, Springer-Verlag, 1990, 21-49.
    • (1990) Semantics of Systems of Concurrent Processes, LNCS , vol.469 , pp. 21-49
    • De Bakker, J.W.1    Warmerdam, J.H.A.2
  • 8
    • 0002367651 scopus 로고
    • Design and synthesis of synchronization skeletons using branching time temporal logic
    • Springer-Verlag
    • E.M. Clarke, E.A. Emerson, Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic, In Proc. Workshop on Logics of Programs, LNCS vol. 131, Springer-Verlag, 1981.
    • (1981) Proc. Workshop on Logics of Programs, LNCS , vol.131
    • Clarke, E.M.1    Emerson, E.A.2
  • 9
    • 2342544079 scopus 로고
    • The safety-progress classification
    • NATO Advanced Science Institute Series, Springer-Verlag
    • E. Chang, Z. Manna, A. Pnueli, The Safety-Progress Classification, In Proc. Computer and System Science, NATO Advanced Science Institute Series, Springer-Verlag, 1992.
    • (1992) Proc. Computer and System Science
    • Chang, E.1    Manna, Z.2    Pnueli, A.3
  • 10
    • 85029784740 scopus 로고
    • Characterization of temporal property classes
    • W. Kuich, editor, Springer-Verlag
    • E. Chang, Z. Manna, A. Pnueli, Characterization of Temporal Property Classes, In W. Kuich, editor, Proc. ICALP92, LNCS vol. 623, Springer-Verlag, 1992, 474-486.
    • (1992) Proc. ICALP92, LNCS , vol.623 , pp. 474-486
    • Chang, E.1    Manna, Z.2    Pnueli, A.3
  • 14
    • 0002116195 scopus 로고
    • Modelling nondeterministic concurrent processes with event structures
    • U. Goltz, R. Loogen, Modelling Nondeterministic Concurrent Processes with Event Structures, Fundamenta Informaticae 14 1 (1991) 39-74.
    • (1991) Fundamenta Informaticae , vol.14 , Issue.1 , pp. 39-74
    • Goltz, U.1    Loogen, R.2
  • 15
  • 16
    • 0040397831 scopus 로고
    • Event fairness and non-interleaving concurrency
    • M. Kwiatkowska, Event Fairness and Non-Interleaving Concurrency, Formal Aspects of Computing 1 3 (1989) 213-228.
    • (1989) Formal Aspects of Computing , vol.1 , Issue.3 , pp. 213-228
    • Kwiatkowska, M.1
  • 19
    • 85029635831 scopus 로고
    • On the domain of traces and sequential composition
    • S. Abramsky and T.S.E.. Maibaum, editors, Springer-Verlag
    • M. Kwiatkowska. On the domain of traces and sequential composition. In S. Abramsky and T.S.E.. Maibaum, editors, Proc. 16th Coll. on Trees in Algebra and Programming (CAAP'91), LNCS vol. 493, Springer-Verlag, 1991, 42-56.
    • (1991) Proc. 16th Coll. on Trees in Algebra and Programming (CAAP'91), LNCS , vol.493 , pp. 42-56
    • Kwiatkowska, M.1
  • 20
    • 0040397836 scopus 로고
    • On topological characterization of behavioural properties
    • G. Reed, A. Roscoe, and R. Wachter, editors, Oxford University Press
    • M. Kwiatkowska. On topological characterization of behavioural properties. In G. Reed, A. Roscoe, and R. Wachter, editors, Topology and Category Theory in Computer Science, Oxford University Press, 1991, 153-177.
    • (1991) Topology and Category Theory in Computer Science , pp. 153-177
    • Kwiatkowska, M.1
  • 21
    • 0040397835 scopus 로고
    • A hierarchy of partial order temporal properties
    • Springer-Verlag
    • M. Kwiatkowska, D. Peled, W. Penczek, A Hierarchy of Partial Order Temporal Properties. In Proc. Temporal Logic, LNCS vol. 827, Springer-Verlag, 1994, 398-414.
    • (1994) Proc. Temporal Logic, LNCS , vol.827 , pp. 398-414
    • Kwiatkowska, M.1    Peled, D.2    Penczek, W.3
  • 22
    • 0017472779 scopus 로고
    • Proving the correctness of multiprocess programs
    • L. Lamport, Proving the Correctness of Multiprocess Programs, IEEE Trans. Software Engineering SE-3 2, (1977) 125-143.
    • (1977) IEEE Trans. Software Engineering , vol.SE-3 , Issue.2 , pp. 125-143
    • Lamport, L.1
  • 29
    • 85031896029 scopus 로고    scopus 로고
    • Proving partial order liveness properties
    • Springer-Verlag
    • D. Peled, A. Pnueli, Proving Partial Order Liveness Properties. In Proc. ICALP'90, Warwick, LNCS vol. 443, Springer-Verlag, 553-571.
    • Proc. ICALP'90, Warwick, LNCS , vol.443 , pp. 553-571
    • Peled, D.1    Pnueli, A.2
  • 31
    • 0040397837 scopus 로고
    • The pomset model of parallel processes: Unifying the temporal and the spatial
    • Springer-Verlag
    • V. Pratt, The Pomset Model of Parallel Processes: Unifying the Temporal and the Spatial. In Proc. Seminar on Concurrency, LNCS vol. 197, Springer-Verlag, 1984.
    • (1984) Proc. Seminar on Concurrency, LNCS , vol.197
    • Pratt, V.1
  • 32
    • 0003354698 scopus 로고
    • Partial order semantics versus interleaving semantics for CSP-like languages and its impact on fairness
    • Springer-Verlag
    • W. Reisig, Partial Order Semantics versus Interleaving Semantics for CSP-like Languages and its Impact on Fairness. In Proc. ICALP'84, LNCS vol. 172, Springer-Verlag, 1984, 403-413.
    • (1984) Proc. ICALP'84, LNCS , vol.172 , pp. 403-413
    • Reisig, W.1
  • 33
    • 0002361833 scopus 로고
    • Elements of a temporal logic coping with concurrency
    • Techn. Universität München
    • W. Reisig, Elements of a Temporal Logic Coping with Concurrency, SFB-Bericht 342/23, 92A Techn. Universität München, 1992.
    • (1992) SFB-Bericht 342/23 , vol.92 A
    • Reisig, W.1
  • 34
    • 0001282303 scopus 로고
    • Automata on infinite objects
    • J. van Leeuwen, editor, North-Holland
    • W. Thomas, Automata on Infinite Objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science vol. B, North-Holland, 1990, 135-191.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 135-191
    • Thomas, W.1


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