4 papers:
PPDP-2015-HaarPRV #algebra #concurrent #logic- An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic (SH, SP, CR, FDV), pp. 161–172.
CASE-2012-LiLPZ #physics #simulation- Control system simulation for 360MN extrusion machine based on physical model (WL, WL, FP, QZ), pp. 243–249.
FoSSaCS-2012-CrafaVY #parallel #semantics #π-calculus- Event Structure Semantics of Parallel Extrusion in the π-Calculus (SC, DV, NY), pp. 225–239.
- FoSSaCS-2010-MurawskiT
- Block Structure vs. Scope Extrusion: Between Innocence and Omniscience (ASM, NT), pp. 33–47.
