Yehia Abd Alrahman
My main research interests revolve around Concurrency theory, Verification and Formal Methods. I focus is on developing mathematical formalisms to describe systems that interact flexibly through various modes of communication, and to reason about their interactions.
![Yehia Abd Alrahman from chalmers.se Image of Yehia Abd Alrahman](https://chalmers.se/_next/image/?url=https%3A%2F%2Fcms.www.chalmers.se%2FMedia%2Fjh3lxuce%2Fyehiaa.jpeg%3Fwidth%3D600%26height%3D600%26v%3D1da5e61977d7070%26quality%3D60%26format%3Dwebp&w=640&q=90)
Visar 4 publikationer
A distributed API for coordinating AbC programs
Testing for coordination fidelity
A coordination protocol language for power grid operation control
A calculus for collective-adaptive systems and its behavioural theory
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.