국립중앙도서관 "우편 복사 서비스"로 연결 됩니다.
ScienceON
DBpia
- 요약
- Abstract
- 1. 서론
- 2. 관련연구
- 3. δ-calculus
다국어 입력
あ
ぁ
か
が
さ
ざ
た
だ
な
は
ば
ぱ
ま
や
ゃ
ら
わ
ゎ
ん
い
ぃ
き
ぎ
し
じ
ち
ぢ
に
ひ
び
ぴ
み
り
う
ぅ
く
ぐ
す
ず
つ
づ
っ
ぬ
ふ
ぶ
ぷ
む
ゆ
ゅ
る
え
ぇ
け
げ
せ
ぜ
て
で
ね
へ
べ
ぺ
め
れ
お
ぉ
こ
ご
そ
ぞ
と
ど
の
ほ
ぼ
ぽ
も
よ
ょ
ろ
を
ア
ァ
カ
サ
ザ
タ
ダ
ナ
ハ
バ
パ
マ
ヤ
ャ
ラ
ワ
ヮ
ン
イ
ィ
キ
ギ
シ
ジ
チ
ヂ
ニ
ヒ
ビ
ピ
ミ
リ
ウ
ゥ
ク
グ
ス
ズ
ツ
ヅ
ッ
ヌ
フ
ブ
プ
ム
ユ
ュ
ル
エ
ェ
ケ
ゲ
セ
ゼ
テ
デ
ヘ
ベ
ペ
メ
レ
オ
ォ
コ
ゴ
ソ
ゾ
ト
ド
ノ
ホ
ボ
ポ
モ
ヨ
ョ
ロ
ヲ
―
http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
예시)
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
′
″
℃
Å
￠
￡
￥
¤
℉
‰
＄
％
Ｆ
￦
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
RISS 인기검색어
https://www.riss.kr/link?id=A101780224
- 저자
- 발행기관
- 학술지명
- 권호사항
-
발행연도
2016
-
작성언어
Korean
-
주제어
δ-calculus ; 프로세스 대수 ; 이동성 ; 동기성 ; 시간 ; 보안 ; δ-calculus ; process algebra ; movements ; synchrony ; time ; security
-
KDC
569
-
등재정보
KCI우수등재
-
자료형태
학술저널
- 발행기관 URL
-
수록면
314-326(13쪽)
-
KCI 피인용횟수
0
- 제공처
- 소장기관
-
0
상세조회 -
0
다운로드
부가정보
목차 (Table of Contents)
- 요약
- Abstract
- 1. 서론
- 2. 관련연구
- 3. δ-calculus
- 4. 속성
- 5. 예제
- 6. 비교분석
- 7. 도구
- 8. 결론 및 향후연구
- References
참고문헌 (Reference)
1 R. Singer, "S-BPM ONE-Education and industrial developments" 135-150, 2012
2 J. On, "Onion: A Graphical Language for Process Algebra" 2011
3 H. Fill, "On the Conceptualisation of Modelling Methods Using the ADOxx Meta Modelling Platform" 8 (8): 4-25, 2013
4 L. Abrams, "CryptoLocker Ransomeware Information Guide and FAQ"
5 R. Milner, "Communication and Concurrency" Prentice hall 1989
6 R. Milner, "A calculus of mobile processes(i-ii)" 1-77, 1992
7 J. On, "A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space" 2008
8 L. Cardelli, "A Mobile Ambients,In: ETAPS 1998 and FOSSACS 1998" Springer 1378 : 140-155, 1998
1 R. Singer, "S-BPM ONE-Education and industrial developments" 135-150, 2012
2 J. On, "Onion: A Graphical Language for Process Algebra" 2011
3 H. Fill, "On the Conceptualisation of Modelling Methods Using the ADOxx Meta Modelling Platform" 8 (8): 4-25, 2013
4 L. Abrams, "CryptoLocker Ransomeware Information Guide and FAQ"
5 R. Milner, "Communication and Concurrency" Prentice hall 1989
6 R. Milner, "A calculus of mobile processes(i-ii)" 1-77, 1992
7 J. On, "A Process Algebra for Specification and Analysis of Temporal Properties of Agents Distributed over Networked Space" 2008
8 L. Cardelli, "A Mobile Ambients,In: ETAPS 1998 and FOSSACS 1998" Springer 1378 : 140-155, 1998
동일학술지(권/호) 다른 논문
-
Mandatory Access Control for Android Application Security
- Korean Institute of Information Scientists and Engineers
- 나준승(June-sung Na)
- 2016
- KCI우수등재
-
Malware Family Recommendation using Multiple Sequence Alignment
- Korean Institute of Information Scientists and Engineers
- 조인겸(In Kyeom Cho)
- 2016
- KCI우수등재
-
Energy-aware EDZL Real-Time Scheduling on Multicore Platforms
- Korean Institute of Information Scientists and Engineers
- 한상철(Sangchul Han)
- 2016
- KCI우수등재
-
- Korean Institute of Information Scientists and Engineers
- 김덕수(Duksu Kim)
- 2016
- KCI우수등재
분석정보
인용정보 인용지수 설명보기
학술지 이력
| 연월일 | 이력구분 | 이력상세 | 등재구분 |
|---|---|---|---|
| 2021 | 평가 | 계속평가 신청대상 (등재유지) | |
| 2016-01-01 | 등재 | 우수등재학술지 선정 (계속평가) | |
| 2015-01-01 | 등재 | 등재학술지 유지 (등재유지) |  |
| 2002-01-01 | 등재 | 학술지 통합 (등재유지) | |
학술지 인용정보
| 기준연도 | WOS-KCI 통합IF(2년) | KCIF(2년) | KCIF(3년) |
|---|---|---|---|
| 2016 | 0.19 | 0.19 | 0.19 |
| KCIF(4년) | KCIF(5년) | 중심성지수(3년) | 즉시성지수 |
| 0.2 | 0.18 | 0.373 | 0.07 |
이 자료와 함께 이용한 RISS 자료
나만을 위한 추천자료
