K2 is a coordination language for distributed computing. It provides the basic functionality to coordinate sequential programs written in a standard language (e.g., C, FORTRAN, and functional languages developed at our chair). K2 is based on a variant of coloured petri nets.
There is a first prototype implementation based on the PVM message passing system. The beta version of the compiler is now available. But there is not much documentation, only some examples are included. If you have questions, just send me an e-mail.
A short paper about K2 (PostScript version) is available too. This is a first draft of a paper which has been submitted for publication (and published in modified form). Please do not make copies, it is for private use only.
There are some publications available about K2.