Multiparty Session Actors
Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs. We incorporate sessions to actors by introducing minimum additions...
Պահպանված է:
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Open Publishing Association
2014-06-01
|
| Շարք: | Electronic Proceedings in Theoretical Computer Science |
| Առցանց հասանելիություն: | http://arxiv.org/pdf/1406.3482v1 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|