BibSLEIGH — copyless stem

Used together with:

messag (3)
handl (2)
except (2)
logic (2)
regist (1)

Stem copyless$ (all stems)

CSL-2015-MazowieckiR #automaton #logic #towards: Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata (FM, CR), pp. 144–159.
PPDP-J-2012-JaksicP14 #exception: Exception handling for copyless messaging (SJ, LP), pp. 22–51.
PPDP-2012-JaksicP #exception: Exception handling for copyless messaging (SJ, LP), pp. 151–162.
ESOP-2011-BonoMP #message passing #type system: Typing Copyless Message Passing (VB, CM, LP), pp. 57–76.