|
|
kiltera
|
|
Welcomekiltera's website has moved. The new website is located at http://www.kiltera.org. kiltera is a language for describing concurrent, interacting, mobile processes which ``live'' over time. The purpose of kiltera is to provide the means to model complex, dynamic, possibly large, interacting systems which have a structure that changes over time. The development of kiltera has been inspired by several languages, but prehaps the most relevant is Milner's p-calculus, which forms the basis of its semantics. Other languages that have inspired kiltera 's design include Timed CSP, LOTOS, Erlang, CCS, Real-time ACP, OCCAM, Python and ML. While it has been influenced by all these languages in different ways, kiltera process descriptions look a bit different. Semantically (in its current incarnation,) kiltera has most p-calculus constructs, some of the time constructs of Timed CSP, and some constructs from other languages. Syntactically it borrows from Python, OCCAM, Erlang and the ML family, but it includes a few uncommon forms too. It has been developed to be as simple as possible in the sense of providing as few constructs as possible, with a well defined meaning, but at the same time, be user-friendly, so that process descriptions are readable. kiltera is still under development, and some fundamental features may be added in the near future. In particular we are investigating the possibility of adding Ambients-style mobility and other forms of dynamic structural changes. To download kiltera, go to the Distribution page. To look at the full documentation, go to the Documentation page. To look at presentations about kiltera, go to the Presentations page. There is also a wiki. To report bugs please visit the bug report page.
Latest news
http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org http://www.kiltera.org |
