Volume 175,
Number 1,
May 2007
Proceedings of the Third Workshop on Structural Operational Semantics (SOS 2006)
Volume 175,
Number 2,
June 2007
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006)
- Carlos Canal, Mirko Viroli:
Preface.
1-2
Electronic Edition (link) BibTeX
- Gabriel Ciobanu, Cristian Prisacariu:
Coordination by Timers for Channel-Based Anonymous Communications.
3-17
Electronic Edition (link) BibTeX
- Sascha Klüppelholz, Christel Baier:
Symbolic Model Checking for Channel-based Component Connectors.
19-37
Electronic Edition (link) BibTeX
- Marco Antonio Barbosa, Luís Soares Barbosa:
Configurations of Web Services.
39-57
Electronic Edition (link) BibTeX
- Matteo Casadei, Luca Gardelli, Mirko Viroli:
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case.
59-80
Electronic Edition (link) BibTeX
- Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel:
Dynamic Contextual Adaptation.
81-95
Electronic Edition (link) BibTeX
- Andrea Omicini:
Formal ReSpecT in the A&A Perspective.
97-117
Electronic Edition (link) BibTeX
- Michael Köhler, Heiko Rölke:
Dynamic Transition Refinement.
119-134
Electronic Edition (link) BibTeX
- Juliana Küster Filipe, Sotiris Moschoyiannis:
Concurrent Logic and Automata Combined: A Semantics for Components.
135-151
Electronic Edition (link) BibTeX
- Tom Chothia, Jetty Kleijn:
Q-Automata: Modelling the Resource Usage of Concurrent Components.
153-167
Electronic Edition (link) BibTeX
Volume 175,
Number 3,
June 2007
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006)
- Roberto M. Amadio, Iain Phillips:
Preface.
1-2
Electronic Edition (link) BibTeX
- Diletta Cacciagrano, Flavio Corradini, Catuscia Palamidessi:
Fair Pi.
3-26
Electronic Edition (link) BibTeX
- Xu Wang, Marta Z. Kwiatkowska:
Compositional State Space Reduction Using Untangled Actions.
27-46
Electronic Edition (link) BibTeX
- Ahmed Bouajjani, Jan Strejcek, Tayssir Touili:
On Symbolic Verification of Weakly Extended PAD.
47-64
Electronic Edition (link) BibTeX
- Robin Milner:
Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract).
65-73
Electronic Edition (link) BibTeX
- Vincent Danos, Jean Krivine, Pawel Sobocinski:
General Reversibility.
75-86
Electronic Edition (link) BibTeX
- Daniele Gorla:
Synchrony vs Asynchrony in Communication Primitives.
87-108
Electronic Edition (link) BibTeX
- Lucy Saunders-Evans, Glynn Winskel:
Event Structure Spans for Nondeterministic Dataflow.
109-129
Electronic Edition (link) BibTeX
- Luís Caires, Hugo Torres Vieira:
Extensionality of Spatial Observations in Distributed Systems.
131-149
Electronic Edition (link) BibTeX
Volume 175,
Number 4,
July 2007
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC 2006)
- Arend Rensink, Reiko Heckel, Barbara König:
Preface.
1-2
Electronic Edition (link) BibTeX
- Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner:
Matching of Bigraphs.
3-19
Electronic Edition (link) BibTeX
- Claudia Faggian, Mauro Piccolo:
A Graph Abstract Machine Describing Event Structure Composition.
21-36
Electronic Edition (link) BibTeX
- László Gönczy, Máté Kovács, Dániel Varró:
Modeling and Verification of Reliable Messaging by Graph Transformation Systems.
37-50
Electronic Edition (link) BibTeX
- Filippo Bonchi, Tobias Heindel:
Adhesive DPO Parallelism for Monic Matches.
51-61
Electronic Edition (link) BibTeX
- Vitali Kozioura:
Verification of Random Graph Transformation Systems.
63-72
Electronic Edition (link) BibTeX
- Piotr Kosiuczenko, Georgios Lajios:
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems.
73-86
Electronic Edition (link) BibTeX
- Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig:
Termination Criteria for DPO Transformations with Injective Matches.
87-100
Electronic Edition (link) BibTeX
- Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro:
Formal Verification of Object-Oriented Graph Grammars Specifications.
101-114
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:24 2009
by Michael Ley (ley@uni-trier.de)
