메뉴 건너뛰기




Volumn 4, Issue 3, 2008, Pages 249-271

Machine semantics - From causality to computational models

Author keywords

Abstract machines; Domain theory; Lambda calculus; Semantics; State machines

Indexed keywords


EID: 55349118560     PISSN: 15487199     EISSN: 15487202     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (5)

References (43)
  • 2
    • 0013260470 scopus 로고
    • Abramsky S. and Jung A. Omain Theory, in S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, III Oxford University Press
    • Abramsky S. and Jung A. Omain Theory, in S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, editors, Handbook of Logic in Computer Science. III Oxford University Press, 1994.
    • (1994) Handbook of Logic In Computer Science
  • 3
    • 84955573850 scopus 로고    scopus 로고
    • Retracing some paths in Process algebra, In CONCUR 96
    • Springer-Verlag
    • Abramsky S. Retracing some paths in Process algebra, In CONCUR 96, Lecture Notes in Computer Science, pp. 1-17, Springer-Verlag, 1996.
    • (1996) Lecture Notes In Computer Science , pp. 1-17
    • Abramsky, S.1
  • 5
    • 77952476915 scopus 로고    scopus 로고
    • Axiomatic Semantics
    • Paul E. Black, ed., U.S. National Institute of Standards and Technology, Available as
    • Black P.: Axiomatic Semantics, In Dictionary of Algorithms and Data Structures, Paul E. Black, ed., U.S. National Institute of Standards and Technology. (2005). Available as http://www.nist.gov/dads/HTML/axiomaticSemantics.html.
    • (2005) In Dictionary of Algorithms and Data Structures
    • Black, P.1
  • 6
    • 8744306117 scopus 로고
    • Basic Techniques for Two-way Finite Automata
    • In J. Pin (ed.), Springer-Verlag, LNCS
    • Birget J.-C. Basic Techniques for Two-way Finite Automata, In J. Pin (ed.) Formal Properties of Finite Automata and Applications, Springer-Verlag, LNCS, 1992, 56-64.
    • (1992) Formal Properties of Finite Automata and Applications , pp. 56-64
    • Birget, J.-C.1
  • 10
    • 33847679490 scopus 로고    scopus 로고
    • Almost Every Domain is Universal
    • Droste M. and Kuske D. Almost Every Domain is Universal, ENTCS 173, (2007), 103-119.
    • (2007) ENTCS , vol.173 , pp. 103-119
    • Droste, M.1    Kuske, D.2
  • 12
    • 77952506332 scopus 로고
    • EditorDenis Howe, supported by Imperial College Dept. of Computing
    • FOLDOC: The Free Online Directory of Computing (1993), http://foldoc.org/, EditorDenis Howe, supported by Imperial College Dept. of Computing.
    • (1993) FOLDOC: The Free Online Directory of Computing
  • 15
    • 0001119508 scopus 로고
    • Geometry of Interaction 1, Proceedings Logic Colloquium'88
    • Girard J.-Y. Geometry of Interaction 1, Proceedings Logic Colloquium'88, North-Holland, 1988,221-260.
    • (1988) North-Holland , pp. 221-260
    • Girard, J.-Y.1
  • 18
    • 14544302250 scopus 로고    scopus 로고
    • A categorical framework for finite state machines
    • Hines P. A categorical framework for finite state machines, Mathematical Structures in Computer Science (13) (2003), 451-480.
    • (2003) Mathematical Structures In Computer Science , Issue.13 , pp. 451-480
    • Hines, P.1
  • 19
    • 33749989582 scopus 로고    scopus 로고
    • Physical systems as constructive logics, in Unconventional Computation
    • Calude, Dineen, Paun, Rozenburg, Stepney (eds.)
    • Hines P. Physical systems as constructive logics, in Unconventional Computation, Calude, Dineen, Paun, Rozenburg, Stepney (eds.) Springer LNCS vol. 4135, 2006, 101-112.
    • (2006) Springer LNCS , vol.4135 , pp. 101-112
    • Hines, P.1
  • 21
    • 77952520224 scopus 로고    scopus 로고
    • Order Theory and Iteration, Dagstuhl Seminar 06341
    • Time and Causality, Seminar Materials, available from
    • Hines P. Order Theory and Iteration, Dagstuhl Seminar 06341, Computational Structures for Modelling Space, Time and Causality (2006), Seminar Materials, available from http://kathrin.dagstuhl.de/06341/Materials2/.
    • (2006) Computational Structures For Modelling Space
    • Hines, P.1
  • 22
    • 77952496636 scopus 로고    scopus 로고
    • submitted. Currently available as
    • Hines P. Machine Semantics, submitted. Currently available as: http://www.peterhines.net/downloads/papers/MachineSemantics.pdf.
    • Machine Semantics
    • Hines, P.1
  • 23
    • 77952518259 scopus 로고    scopus 로고
    • Gödel, Escher, Bach: An Eternal Golden Braid
    • Hofstadter J. Gödel, Escher, Bach: an Eternal Golden Braid, Penguin Books, 2000.
    • (2000) Penguin Books
    • Hofstadter, J.1
  • 24
    • 0002907617 scopus 로고
    • Atomless parts of spaces
    • Isbell J. Atomless parts of spaces, Math. Scand. 31 (1972), 5-32.
    • (1972) Math. Scand , vol.31 , pp. 5-32
    • Isbell, J.1
  • 28
    • 0003248906 scopus 로고
    • Introduction to higher order categorical logic
    • Cambridge University Press
    • Lambek J. and Scott P. Introduction to higher order categorical logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press, 1986.
    • (1986) Cambridge Studies In Advanced Mathematics , vol.7
    • Lambek, J.1    Scott, P.2
  • 31
    • 51249188373 scopus 로고
    • Chain-complete p.o. sets and directed sets with applications
    • Markowsky G. Chain-complete p.o. sets and directed sets with applications. Algebra Universalis, 6 (1976), 53-68.
    • (1976) Algebra Universalis , vol.6 , pp. 53-68
    • Markowsky, G.1
  • 35
    • 84874489428 scopus 로고
    • DAIMI FN-19, Computer Science Department, Aarhus University, Also available as Elsevier EBOOK 1001, Media2book inc., Paris
    • Plotkin G. Astructural approach to operational semantics, Tech. Rep. DAIMI FN-19, Computer Science Department, Aarhus University (1981). Also available as Elsevier EBOOK 1001, Media2book inc., Paris.
    • (1981) Astructural Approach to Operational Semantics, Tech. Rep
    • Plotkin, G.1
  • 37
    • 77952496214 scopus 로고
    • The reduction of two-way automata to one-way automata IBM
    • Sheperdson J. C. The reduction of two-way automata to one-way automata IBM Journal of Research and Development (1959), 115-125.
    • (1959) Journal of Research and Development , pp. 115-125
    • Sheperdson, J.C.1
  • 40
    • 84972541021 scopus 로고
    • A lattice-theoretical fixedpoint theorem and its applications
    • Tarski A. A lattice-theoretical fixedpoint theorem and its applications, Pacific Journal of Mathematics 5 (1955), 285-309.
    • (1955) Pacific Journal of Mathematics , vol.5 , pp. 285-309
    • Tarski, A.1
  • 41
    • 27544497682 scopus 로고    scopus 로고
    • Zeno meets modern Science
    • Silagadze Z. Zeno meets modern Science, Acta Phys. Polon. B36 (2005), 2886-2930.
    • (2005) Acta Phys. Polon , vol.B36 , pp. 2886-2930
    • Silagadze, Z.1


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