Laura Semini Papers on DiSC'03 Distributed States Logic Publications Note: Links lead to the DBLP on the Web. Laura Semini 7 Carlo Montangero , Laura Semini: istributed States Logic. TIME 2002 : 55-57 6 Gian Luigi Ferrari , Carlo Montangero , Laura Semini, Simone Semprini : Mark, a Reasoning Kit for Mobility. Automated Software Engineering 9 (2): 137-150 (2002) 5 Gian Luigi Ferrari , Carlo Montangero , Laura Semini, Simone Semprini : Mobile Agents Coordination in Mob adtl . COORDINATION 2000 : 232-248 4 Carlo Montangero , Laura Semini: Composing Specifications for Coordination. COORDINATION 1999 : 118-133 3 Laura Semini, Carlo Montangero : A Refinement Calculus for Tuple Spaces. Science of Computer Programming 34 (2): 79-140 (1999) 2 Vincenzo Ambriola , Giovanni A. Cignoni , Laura Semini: A Proposal to Merge Multiple Tuple Spaces, Object Orientation, and Logic Programming. Computer Languages 22 (2/3): 79-93 (1996) 1 Vincenzo Ambriola , Giovanni A. Cignoni , Laura Semini: A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces. ICLP Workshop: Process-Based Parallel Logic Programming 1994 : 64-69 DiSC'03 © 2003 Association for Computing Machinery