The study described hereunder lies within the context of a larger project focusing on the design and implementation of a "Robotic Interaction Language". The research goa...
Omar Mubin, Suleman Shahid, Christoph Bartneck, Em...
Distributed System design is a highly complicated and non-trivial task. The problem is characterised by the need to design multi-threaded, multi-processor, and multimedia systems....
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...