Abstract GSOS Rules and a Modular Treatment of Recursive Definitions

Stefan Milius, Lawrence S Moss, Daniel Schwencke

Terminal coalgebras for a functor serve as semantic domains for state-based systems of various types. For example, behaviors of CCS processes, streams, infinite trees, formal langu…