Research output per year
Research output per year
Fingerprint
Dive into the research topics where Luc Edixhoven is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)
Cledou, G., Edixhoven, L. J., Jongmans, S-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile -
Branching pomsets for choreographies (technical report)
Edixhoven, L., Jongmans, S-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).Research output: Book/Report › Technical report › Academic
Open AccessFile3 Downloads (Pure) -
Balanced-By-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., 6 Aug 2021, p. 130-142. 13 p.Research output: Contribution to conference › Paper › Academic
-
Balanced-by-construction regular and ω-regular languages (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).Research output: Book/Report › Technical report › Academic
File9 Downloads (Pure)