Linear ObjeCts. A ConCurrentlogiC programming language based on linear logiC, an extension of Horn logiC with a new kind of OR-ConCurrenCy. ["LO and Behold! ConCurrent StruCtured ProCesses", J. Andreoli et al, SIGPLAN NotiCes 25(10):44-56 (OOPSLA/ECOOP ' 90) (OCt 1990)].