Electronic Notes in Theoretical Computer Science, Volume 68

Volume 68, Number 1, 2002

• Alexander Kurz:
  Preface.
  
• Richard Buckland, Michael Johnson, Dominic Verity:
  On the Specification of Higher Dimensional Automata.
  
• Marco Kick:
  Rule Formats for Timed Processes.
  
• Jan Rothe, Dragan Masulovic:
  Towards Weak Bisimulation For Coalgebras.
  
• Ralf Schweimeier:
  A categorical framework for typing CCS-style process communication.
  
• Krzysztof Worytkiewicz:
  Concrete Process Categories.
  

Volume 68, Number 2, 2002

• Uwe Nestmann, Prakash Panangaden:
  Preface.
  
• Catuscia Palamidessi:
  On the Expressive Power of Temporal Concurrent Constraint Programming Languages (invited talk).
  
• Danièle Beauquier, Yoram Hirshfeld, Alexander Moshe Rabinovich, Anatol Slissenko:
  The Probability Nesting Game.
  
• Marco Carbone, Sergio Maffeis:
  On the Expressive Power of Polyadic Synchronisation in pi-calculus.
  
• Rance Cleaveland, Gerald Lüttgen:
  A Logical Process Calculus.
  
• Maribel Fernández, Lionel Khalil:
  Interaction Nets with McCarthy's amb.
  
• Igor Walukiewicz:
  Describing properties of concurrent systems (Logic for Traces) (invited talk).
  
• Martin Lange:
  Alternating Context-Free Languages and Linear Time mu-Calculus with Sequential Composition.
  
• Nicolas Markey:
  Past is for Free: on the Complexity of Verifying Linear Temporal Properties with Past.
  
• Vladimiro Sassone, Pawel Sobocinski:
  Deriving Bisimulation Congruences: A 2-categorical Approach.
  
• Ulrik Frendrup, Hans Hüttel, Jesper Nyholm Jensen:
  Modal Logics for Cryptographic Processes.
  
• Joël Ouaknine, James Worrell:
  Timed CSP = Closed Timed Safety Automata.
  

Volume 68, Number 3, 2003

• Antonio Brogi, Jean-Marie Jacquet:
  Preface.
  
• Timo Aaltonen, Joni Helin, Mika Katara, Pertti Kellomäki, Tommi Mikkonen:
  Coordinating Aspects and Objects.
  
• Mikael Brannstrom, Erland Jungert:
  A Scalable Agent Architecture for a Dynamic Sensor Network.
  
• Antonio Brogi, Jean-Marie Jacquet, Isabelle Linden:
  On Modeling Coordination via Asynchronous Communication and Enhanced Matching.
  
• Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
  SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents.
  
• John Field, Carlos A. Varela:
  Towards a Programming Model for Building Reliable Systems with Distributed State.
  
• Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský:
  Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming.
  
• Simona Orzan, Jaco van de Pol:
  Distribution of a Simple Shared Dataspace Architecture.
  
• David Safránek:
  SGCCS: A Graphical Language for Real-time Coordination.
  
• Ahmed Saleh, George R. R. Justo, Stephen Winter:
  Non-Functional Oriented Dynamic Integration of Distributed Components.
  
• Juan Guillen Scholten, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue:
  A Channel-based Coordination Model for Components.
  
• Antonio Vallecillo, Vasco Thudichum Vasconcelos, António Ravara:
  Typing the Behavior of Objects and Component Using Session Types.
  
• Mirko Viroli, Andrea Omicini:
  Coordination as a Service: Ontological and Formal Foundation.
  

Volume 68, Number 4, 2002

• Lubos Brim, Orna Grumberg:
  Preface.
  
• Moshe Y. Vardi:
  Model Checking: A Complexity-Theoretic Perspective (invited talk).
  
• Orna Grumberg:
  Different directions in parallel and distributed model checking (invited talk).
  
• Gerd Behrmann:
  A Performance Study of Distributed Timed Automata Reachability Analysis.
  
• Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
  ZEUS: A Distributed Timed Model-Checker Based on KRONOS.
  
• Stefan Blom, Simona Orzan:
  A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces.
  
• Alexander Bell, Boudewijn R. Haverkort:
  Sequential and Distributed Model Checking of Petri Net Specifications.
  
• Lubos Brim, Jitka Crhova, Karen Yorav:
  Using Assumptions to Distribute CTL Model Checking.
  
• Tomás Brázdil, Ivana Cerná:
  Local Distributed Model Checking of RegCTL.
  
• Cornelia P. Inggs, Howard Barringer:
  Effective State Exploration for Model Checking on a Shared Memory Architecture.
  
• Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker:
  A Symbolic Out-of-Core Solution Method for Markov Models.
  

Volume 68, Number 5, 2002

• Alvaro E. Arenas:
  An Algebraic Approach for Compiling Real-Time Programs.
  
• Eugene Asarin, Catalin Dima:
  Balanced timed regular expressions.
  
• Mario Bravetti:
  An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems.
  
• Mario Bravetti:
  Revisiting Interactive Markov Chains.
  
• Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau:
  Petri nets with causal time for system verification.
  
• Friedger Müffke:
  Process Algebras as Specification Language.
  
• Maria Sorea:
  Bounded Model Checking for Timed Automata.
  

Volume 68, Number 6, 2002

• Antonín Kucera, Richard Mayr:
  Preface.
  
• Hans Hüttel:
  Modal Logics for Cryptographic Processes.
  
• Jitka Stríbrná, Ivana Cerná:
  Modifications of Expansion Trees for Weak Bisimulation in BPA.
  
• Thomas Colcombet:
  Rewriting in the partial algebra of typed terms modulo AC.
  
• Chloe Rispal:
  The synchronized graphs trace the context-sensitive languages.
  
• Thierry Cachat:
  Uniform Solution of Parity Games on Prefix-Recognizable Graphs.
  
• Alain Finkel, Jean-François Raskin, Mathias Samuelides, Laurent Van Begin:
  Monotonic Extensions of Petri Nets: Forward and Backward Search Revisited.