an Algebra of Abstractions for Communicating Processes M. Koutny, Giuseppe Pappalardo and M. Pietkiewicz-Koutny. TECHNICAL REPORT SERIES No. CS-TR-949 Febuary, 2006 NEWCASTLE UN IV...
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiew...
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
—Body sensor networks are emerging as a promising platform for healthcare monitoring. These systems are composed of battery-operated embedded devices which process physiological ...
Hassan Ghasemzadeh, Nisha Jain, Marco Sgroi, Roozb...
Kahn Process Networks (KPN) are an appealing model of computation to specify streaming applications. When a KPN has to execute on a multi-processor platform, a mapping of the KPN m...