Volume 159; Issue none

1

An Abstract Way to Define Rewriting Logic

Year:
2006
Language:
english
File:
PDF, 374 KB
english, 2006
3

Preface

Year:
2006
Language:
english
File:
PDF, 65 KB
english, 2006
14

Flexible Communication of Agents based on FIPA-ACL

Year:
2006
Language:
english
File:
PDF, 347 KB
english, 2006
15

Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic

Year:
2006
Language:
english
File:
PDF, 570 KB
english, 2006
16

Interface Automata with Complex Actions

Year:
2006
Language:
english
File:
PDF, 350 KB
english, 2006