PACoR

 Process Algebra of Communicating Resources

The paper on this page were written i close cooperation with Jalil BoudjadarJin 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.