선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
AI-Helper
연합인증
연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.
이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.
연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.
한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.
다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)
연합인증 절차는 다음과 같습니다.
최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용
그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용
연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.
이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.
연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.
한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.
다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)
연합인증 절차는 다음과 같습니다.
최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용
그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용
연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기
A Theory of Metric Labelled Transition Systems
Annals of the New York Academy of Sciences, v.806 no.1, 1996년, pp.69 - 87
VAN BREUGEL, FRANCK
Abstract
AI-Helper
ABSTRACT:Labelled transition systems are useful for giving semantics to programming languages. Kok and Rutten have developed some theory to prove semantic models defined by means of labelled transition systems equal to other semantic models. Metric labelled transition systems are labelled transition...
참고문헌 (23)
-
America, P., Rutten, J.. Solving reflexive domain equations in a category of complete metric spaces. Journal of computer and system sciences, vol.39, no.3, 343-375.
-
Partie, Deuxième, Baire, René. Sur la représentation des fonctions discontinues. Acta mathematica, vol.32, 97-176.
-
Banach, Stefan. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta mathematicae, vol.3, 133-181.
-
Baeten, J. C. M., Bergstra, J. A.. Real time process algebra. Formal aspects of computing, vol.3, no.2, 142-188.
-
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics, New Orleans Bakker J.W. 122 1993
-
Bonsangue M.M. F.vanBreugel &J.J.M.M.Rutten.1995.Generalized Ultrametric Spaces: completion topology and powerdomains via the Yoneda embedding. Report CS‐R9560 CWI Amsterdam. Available at ftp.cwi.nl as pub/CWIreports/AP/CS‐R9560.ps.Z..
-
Berichte der Gesellschaft für Mathematik und Datenverarbeitung Brauer W. 1970
-
Proceedings of the 4th International Conference on Theory and Practice of Software Development, Brighton Breugel F. 397 1991
-
10.1007/3-540-58201-0_83
-
vanBreugel F.1994.Topological Models in Comparative Semantics.PhD thesis. Vrije Universiteit Amsterdam.
-
10.7146/brics.v2i30.19933 vanBreugel F.1995.From Branching to Linear Metric Domains (and back). Report RS‐95‐30 BRICS Aarhus. Available at ftp.brics.aau.dk as pub/BRICS/RS/95/30/BRICS‐RS‐95‐30.ps.gz..
-
Control Flow Semantics. Foundations of Computing Series Bakker J.W. 1996
-
de Bakker, J.W., Zucker, J.I.. Processes and the denotational semantics of concurrency. Information and control, vol.54, no.1, 70-120.
-
Series in Computer Science and Information Processing Ginsburg S. 1962
-
Grundzüge der Mengenlehre Hausdorff F. 1914
-
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics, New Orleans Kent R.E. 173 1987
-
Kok, J.N., Rutten, J.J.M.M.. Fundamental study - Contractions in comparing concurrency semantics. Theoretical computer science, vol.76, no.2, 179-222.
-
Fundamenta Mathematicae. Kuratowski K. 114 43 1 1956 10.4064/fm-43-1-114-138 Sur une Méthode de Métrisation Complète des Certains Espaces d'Ensembles Compacts
-
10.2307/1990864
-
Foundations of Computer Science III. Part 2: Languages, Logic, Semantics Nivat M. 3 1979
-
Plotkin G.D.1981.A Structural Approach to Operational Semantics. Report DAIMI FN‐19 Aarhus University Aarhus.
-
Rutten J.J.M.M.1995.Elements of Generalized Ultrametric Domain Theory. Report CS‐R9507 CWI Amsterdam. Theoretical Computer Science. To appear. Available at ftp.cwi.nl as pub/CWIreports/AP/CS‐R9507.ps.Z..
-
Problems of Cybernetics. Shreider Yu.A. 33 5 1 1964 Automata and the Problem of Dynamic Programming
관련 콘텐츠
- [본원] 대전광역시 유성구 대학로 245 한국과학기술정보연구원
- [분원] 서울시 동대문구 회기로 66 한국과학기술정보연구원
- 문의처: helpdesk@kisti.re.kr
- 전화: 080-969-4114
Copyright KISTI. All Rights Reserved.
섹션별 컨텐츠 바로가기
※ AI-Helper는 부적절한 답변을 할 수 있습니다.