Found 2 Documents (Results 1–2)
A parametric framework for reversible \(\pi\)-calculi. (English) Zbl 1525.68085
Pérez, Jorge A. (ed.) et al., Proceedings of the combined 25th international workshop on expressiveness in concurrency and 15th workshop on structural operational semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 276, 87-103 (2018).
MSC:
68Q85
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Medić, Doriana (2)
- Mezzina, Claudio Antares (2)
- Phillips, Iain W. (2)
- Yoshida, Nobuko (2)
Main Field
- 68-XX (2)
Software
- CauDEr (1)