| Invited Technical Papers |
| AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki |
| A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten |
| An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint / E. Astesiano ; G. Reggio |
| MultiMedia Instruction in Safe and Secure Systems / B. Krieg-Bruckner ; D. Hutter ; A. Lindow ; C. Luth ; A. Mahnke ; E. Melis ; P. Meier ; A. Poetzsch-Heffter ; M. Roggenbach ; G. Russell ; J.-G. Smaus |
| Invited Non-technical Papers |
| Zero, Connected, Empty / R.A. Goguen ; J.A. Goguen |
| Zero, Connected, Empty: An Essay after a Cantata |
| Contributed Papers |
| Type Checking Parametrised Programs and Specifications in ASL+FPC / D. Aspinall |
| Pre-nets, Read Arcs and Unfolding: A Functorial Presentation |
| Coreflective Concurrent Semantics for Single-Pushout Graph Grammars / L. Ribeiro |
| Completeness Results for Fibred Parchments / C. Caleiro ; P. Gouveia ; J. Ramos |
| Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs / C. Choppy ; M. Heisel |
| Conditional Circular Coinductive Rewriting with Case Analysis / K. Lin ; G. Rosu |
| Verifying Generative Casl Architectural Specifications |
| Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens / K. Hoffmann ; T. Mossakowski |
| The Coinductive Approach to Verifying Cryptographic Protocols / J. Hughes ; M. Warnier |
| Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages / S. Katsumata |
| Approach-Independent Structuring Concepts for Rule-Based Systems / H.-J. Kreowski ; S. Kuske |
| Notions of Behaviour and Reachable-Part and Their Institutions / A. Kurz |
| Combining Specification Formalisms in the `General Logic' of Multialgebras / Y. Lamo ; M. Walicki |
| On How Distribution and Mobility Interfere with Coordination |
| Foundations of Heterogeneous Specification |
| Algebraic-Coalgebraic Specification in CoCasl / H. Reichel ; L. Schroder |
| Translating Logics for Coalgebras / D. Pattinson |
| Presenting and Combining Inference Systems / W. Pawlowski |
| Monad-Independent Dynamic Logic in HasCasl / L. Schröder |
| Preserving Properties in System Redesign: Rule-Based Approach / M. Urbasek |
| Author Index |
| Invited Technical Papers |
| AGILE: Software Architecture for Mobility / L. Andrade ; P. Baldan ; H. Baumeister ; R. Bruni ; A. Corradini ; R. De Nicola ; J.L. Fiadeiro ; F. Gadducci ; S. Gnesi ; P. Hoffman ; N. Koch ; P. Kosiuczenko ; A. Lapadula ; D. Latella ; A. Lopes ; M. Loreti ; M. Massink ; F. Mazzanti ; U. Montanari ; C. Oliveira ; R. Pugliese ; A. Tarlecki ; M. Wermelinger ; M. Wirsing ; A. Zawlocki |
| A Coinductive Calculus of Component Connectors / F. Arbab ; J.J.M.M. Rutten |
図書
