2 papers
cs.PL2025
Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
Clemens Grabmayer, Maurizio Murgia
Departing from Larsen's concept of parameterized bisimilarity of processes with respect to interaction with environments, we start an exploration of its natural weakening: bisimila…
cs.LO2024
From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
Clemens Grabmayer
As a supplement to my talk at the workshop, this extended abstract motivates and summarizes my work with co-authors on problems in two separate areas: first, in the lambda-calculus…