Process Algebra of Communicating Resources
The paper on this page were written i close cooperation with Jalil Boudjadar, Jin Hyun Kim and Kim G. Larsen. It deals with schedulability analysis from a process algebra point of view.
ECRTS 2014: Model Checking Process Algebra of Communicating Resources for Real-time Systems (.pdf) (bibtex)
Working paper version of the above (includes appendix): Model checking process algebra of communicating resources for real-time systems (.pdf) (bibtex)
Comments are closed.