Linear unary operators in process algebra Linear unary operators in process algebra

Source URL: www.cs.vu.nl

• Operator theory
• Algebra of Communicating Processes
• Process calculi
• Abstract algebra
• Modal logic
• Von Neumann algebra
• Algebra
• Unary operation

Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen Abstract. This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples

Source URL: math.chapman.edu