92 citations · 192 across the 19 of their papers we have counts for
3 papers · 1 filter
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…
Well-Pointed Coalgebras
Jiří Adámek, Stefan Milius, Lawrence S Moss +1
For endofunctors of varieties preserving intersections, a new description of the final coalgebra and the initial algebra is presented: the former consists of all well-pointed coalg…
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing
J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
We begin by discussing the history of quantum logic, dividing it into three eras or lives. The first life has to do with Birkhoff and von Neumann's algebraic approach in the 1930's…