file.pdf (253.56 kB)

Type-Directed Concurrency

journal contribution

posted on 01.06.2013, 00:00 by Deepak Garg, Frank Pfenning

Computer Science Department

History

References

http://dx.doi.org/10.1007/11539452

Publisher Statement

Copyright 2013, Association for the Advancement of Artificial Intelligence (www.aaai.org).

Date

01/06/2013

Usage metrics

Categories

Information and Computing Sciences not elsewhere classified

Keywords

computer sciences

Licence

Exports