[B! pi-calculus] digimedaloterã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

digimedaloter id:digimedaloter

pi-calculusã«é–¢ã™ã‚‹digimedaloterã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

${{author_name}}$
{{author_name}}{{created}}
{{ #comment }}{{ comment }}{{ /comment }}
- {{ label }}

${{author_name}}$

{{{comment_expanded}}}

{{label}}

{{#is_bookmark}}ãƒªã‚¹ãƒˆ{{/is_bookmark}}{{^is_bookmark}}ãƒªãƒ³ã‚¯{{/is_bookmark}}

A Very Brief Introduction to the Pi-Calculus (in Japanese)
Ï€-calculus è¶…å…¥é–€ Ï€-calculus ã¯ã€80 å¹´ä»£ã®çµ‚ã‚ã‚Šã”ã‚ã« Milner ã‚‰ã«ã‚ˆã£ã¦ææ¡ˆã•ã‚ŒãŸä¸¦è¡Œè¨ˆç®—ã®ãƒ¢ãƒ‡ãƒ«ã®ä¸€ã¤ã§ã™ã€‚ãã“ã§ã¯ã€ãƒ—ãƒã‚»ã‚¹ã¨å‘¼ã°ã‚Œã‚‹è¤‡æ•°ã®ç‹¬ç«‹ã—ãŸä¸»ä½“ãŒã€é€šä¿¡ãƒãƒ£ãƒãƒ«ã¨å‘¼ã°ã‚Œã‚‹ãƒ‡ãƒ¼ã‚¿ã®é€šã‚Šé“ã‚’ä»‹ã—ã¦å€¤ã‚’ã‚„ã‚Šã¨ã‚Šã—ãªãŒã‚‰ã€è¨ˆç®—ã‚’è¡Œã£ã¦ã„ãã¾ã™ã€‚Ï€-calculus ã«ã¯ã„ã‚ã„ã‚ãªå¤‰ç¨®ãŒã‚ã‚‹ã®ã§ã™ãŒã€ã“ã“ã§ã¯ã¨ã‚Šã‚ãˆãšæ¬¡ã®ã‚ˆã†ãªæ§‹æˆè¦ç´ ã‹ã‚‰ãªã‚‹ã‚‚ã®ã‚’è€ƒãˆã¾ã—ã‚‡ã†ã€‚ new x . P æ–°ã—ã„ãƒãƒ£ãƒãƒ« x ã‚’ä½œã£ã¦ã‹ã‚‰ã€ãƒ—ãƒã‚»ã‚¹ P ã‚’å®Ÿè¡Œã™ã‚‹ (channel creation) x![v1, ..., vn] ãƒãƒ£ãƒãƒ« x ã«å€¤ v1, ..., vn ã‚’é€ã‚‹ (asynchronous output) x?[v1, ..., vn] . P ãƒãƒ£ãƒãƒ« x ã‹ã‚‰å€¤ v1, ..., vn ã‚’å—ã‘å–ã£ã¦ã€P ã‚’å®Ÿè¡Œã™ã‚‹ (input guard) P |
digimedaloter 2012/04/12
pi-calculus
ãƒªãƒ³ã‚¯
move.toÂ -Â ã“ã®ã‚¦ã‚§ãƒ–ã‚µã‚¤ãƒˆã¯è²©å£²ç”¨ã§ã™ï¼Â -Â move ãƒªã‚½ãƒ¼ã‚¹ãŠã‚ˆã³æƒ…å ±
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
digimedaloter 2012/04/08
pi-calculus
ãƒªãƒ³ã‚¯
http://c2.com/cgi/wiki?PiCalculus
- 1 user
- c2.com
- å¦ã³
digimedaloter 2012/04/07
pi-calculus

æ•°å¦
ãƒªãƒ³ã‚¯
A Calculus of Mobile Processes Pt.1
R. Milner, J. Parrow and D. Walker Abstract: We present the pi-calculus, a calculus of communicating systems in which one can naturally express processes which have changing structure. Not only may the component agents of a system be arbitrarily linked, but a communication between neighbours may carry information which changes that linkage. The calculus is an extension of the process algebra CCS,
digimedaloter 2012/04/07
pi-calculus

æ•°å¦
ãƒªãƒ³ã‚¯
1

ãŠçŸ¥ã‚‰ã›

ã‚‚ã£ã¨èªã‚€

å…¬å¼Twitter

@hatebu
æœ€æ–°ã®äººæ°—ã‚¨ãƒ³ãƒˆãƒªãƒ¼ã®é…ä¿¡

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

jæ¬¡ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

kå‰ã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

lã‚ã¨ã§èªã‚€

eã‚³ãƒ¡ãƒ³ãƒˆä¸€è¦§ã‚’é–‹ã

oãƒšãƒ¼ã‚¸ã‚’é–‹ã

è¨å®šã‚’å¤‰æ›´ã—ã¾ã—ãŸx

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (1)

pi-calculusã«é–¢ã™ã‚‹digimedaloterã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬2é€±ï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

ã‚¿ã‚°

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (1)

pi-calculusã«é–¢ã™ã‚‹digimedaloterã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

A Very Brief Introduction to the Pi-Calculus (in Japanese)

move.toÂ -Â ã“ã®ã‚¦ã‚§ãƒ–ã‚µã‚¤ãƒˆã¯è²©å£²ç”¨ã§ã™ï¼Â -Â move ãƒªã‚½ãƒ¼ã‚¹ãŠã‚ˆã³æƒ…å ±

http://c2.com/cgi/wiki?PiCalculus

A Calculus of Mobile Processes Pt.1

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬2é€±ï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚­ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

å…¬å¼Twitter

ã‚­ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹

é–¢é€£ã‚¿ã‚°ã§çµžã‚Šè¾¼ã‚€ (1)

pi-calculusã«é–¢ã™ã‚‹digimedaloterã®ãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯ (4)

move.toÂ -Â ã“ã®ã‚¦ã‚§ãƒ–ã‚µã‚¤ãƒˆã¯è²©å£²ç”¨ã§ã™ï¼Â -Â move ãƒªã‚½ãƒ¼ã‚¹ãŠã‚ˆã³æƒ…å ±

ãŠçŸ¥ã‚‰ã›

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬2é€±ï¼‰

ä»Šé€±ã®ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´12æœˆç¬¬1é€±ï¼‰

æœˆé–“ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯æ•°ãƒ©ãƒ³ã‚ãƒ³ã‚°ï¼ˆ2024å¹´11æœˆï¼‰

å…¬å¼Twitter

ã‚ãƒ¼ãƒœãƒ¼ãƒ‰ã‚·ãƒ§ãƒ¼ãƒˆã‚«ãƒƒãƒˆä¸€è¦§

ã¯ã¦ãªãƒ–ãƒƒã‚¯ãƒžãƒ¼ã‚¯

å…¬å¼Twitter

ã¯ã¦ãªã®ã‚µãƒ¼ãƒ“ã‚¹