11 citations · 37 across the 18 of their papers we have counts for
4 papers · 1 filter
A coalgebraic treatment of conditional transition systems with upgrades
Harsh Beohar, Barbara König, Sebastian Küpper +2
We consider conditional transition systems, that model software product lines with upgrades, in a coalgebraic setting. By using Birkhoff's duality for distributive lattices, we der…
Regular Behaviours with Names
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and -equivalence on a conveniently abstract categorical level…
Nominal Automata with Name Binding
Lutz Schröder, Dexter Kozen, Stefan Milius +1
Automata models for data languages (i.e. languages over infinite alphabets) often feature either global or local freshness operators. We show that Bollig et al.'s session automata,…
A New Foundation for Finitary Corecursion
Stefan Milius, Dirk Pattinson, Thorsten Wißmann
This paper contributes to a theory of the behaviour of "finite-state" systems that is generic in the system type. We propose that such systems are modeled as coalgebras with a fini…