Title: Programming languages and systems
Subjects: Bisimulation, Programmverifikation, Kongress, Programming languages (Electronic computers), Java <Programmiersprache>, Congresses, Programmiersprache, Formale Spezifikationstechnik, Nebenläufigkeit, Intelligent agents (computer software), Programming languages (electronic computers), Computer programming
Places: Bangalore <2008>