1

2 Table of Contents: “...Formal Models -- Composing Snippets -- A Programming Approach to the Design of Asynchronous Logic...”

3 Subjects: “...Logic design...”

4 Subjects: “...Logic design...”

5 Subjects: “...Logic design...”

6 Subjects: “...Logic design...”

7 Subjects: “...Logic design...”

8 Subjects: “...Logic design...”

9 Subjects: “...Logic design...”

10 Subjects: “...Logic design...”

11 Table of Contents: “... for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation...”

12 Table of Contents: “... Management -- InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming -- Timed...”

13 Table of Contents: “... Algorithmic Cooling of Spins -- Nanocomputing by Self-assembly -- Organic User Interfaces (Oui!): Designing...”

14 Table of Contents: “... systems -- Computer Supported Cooperative Work and Petri Nets -- Petri nets and digital hardware design...”

15 Table of Contents: “... and the language tale -- Design, specification and validation of hierarchies of protocols in distributed systems...”

16 Table of Contents: “... for the analysis and design of human communication pragmatics within organizational systems -- Recent results...”

17 Table of Contents: “... -- Computer supported design of kanban controlled production -- Optimal simulations, nets and reachability...”

18 Table of Contents: “...Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope...”

19 Table of Contents: “... for system design and analysis -- A simulation system architecture for graph models -- A state transformation...”

20 Table of Contents: “... -- Solving QSAT in Sublinear Depth -- Design of specific P systems simulators on GPUs -- Construction...”