Journal: Electronic Notes in Theoretical Computer Science

Volume 68, Issue 6

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

Volume 68, Issue 5

1 -- 15Alvaro E. Arenas. An Algebraic Approach for Compiling Real-Time Programs
16 -- 33Eugene Asarin, Catalin Dima. Balanced timed regular expressions
34 -- 64Mario Bravetti. An Integrated Approach for the Specification and Analysis of Stochastic Real-Time Systems
65 -- 84Mario Bravetti. Revisiting Interactive Markov Chains
85 -- 100Cécile Bui Thanh, Hanna Klaudel, Franck Pommereau. Petri nets with causal time for system verification
101 -- 115Friedger Müffke. Process Algebras as Specification Language
116 -- 134Maria Sorea. Bounded Model Checking for Timed Automata
135 -- 136Walter Vogler, Kim Larsen. Preface

Volume 68, Issue 4

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

Volume 68, Issue 3

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

Volume 68, Issue 2

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

Volume 68, Issue 1

1 -- 11Richard Buckland, Michael Johnson, Dominic Verity. On the Specification of Higher Dimensional Automata
12 -- 31Marco Kick. Rule Formats for Timed Processes
32 -- 46Jan Rothe, Dragan Masulovic. Towards Weak Bisimulation For Coalgebras
47 -- 69Ralf Schweimeier. A categorical framework for typing CCS-style process communication
70 -- 85Krzysztof Worytkiewicz. Concrete Process Categories
86 -- 0Alexander Kurz. Preface