A type safe state abstraction for coordination in Java-like languages-Reference-Cited by-同舟云学术

A type safe state abstraction for coordination in Java-like languages

Published:2008-10-08 Issue:7-8 Volume:45 Page:479-536
ISSN:0001-5903
Container-title:Acta Informatica
language:en
Short-container-title:Acta Informatica

Author:

Damiani Ferruccio,Giachino Elena,Giannini Paola,Drossopoulou Sophia

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s00236-008-0079-y.pdf

Reference26 articles.

1. Agha G.A.: ACTORS: A Model of Concurrency Computation in Distributed Systems. MIT Press, Cambridge (1986)

2. Ben-Ari M.: How to solve the Santa Claus problem. Concurr. Pract. Exper. 10(6), 485–496 (1998)

3. Benton, N.: Jingle Bells: solving the Santa Claus problem in polyphonic $${{\rm C}_{\sharp}}$$ . Note (2003). http://research.microsoft.com/~nick/santa.pdf

4. Benton N., Cardelli L., Fournet C.: Modern concurrency abstractions for $${{\rm C}_{\sharp}}$$ . ACM TOPLAS 26(5), 769–804 (2004)

5. Birrel, A.D.: An introduction to programming with threads. Tech. Rep. 35, DEC SRC (1989)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Type checking for protocol role enactments via commitments;Autonomous Agents and Multi-Agent Systems;2018-01-31

2. The Chemical Approach to Typestate-Oriented Programming;ACM Transactions on Programming Languages and Systems;2017-09-30

3. From object-oriented code with assertions to behavioural types;Proceedings of the Symposium on Applied Computing;2017-04-03

4. The chemical approach to typestate-oriented programming;ACM SIGPLAN Notices;2015-12-18

5. Modular session types for objects;Logical Methods in Computer Science;2015-12-16