related documents A Logical Basis for the Specification of Reconfigurable Component-Based Systems Conferences Branching Processes of High-Level Petri Nets Conferences On what exactly goes on when software is developed step-by-step, II: The sequel Conferences
