Abstract is missing.
- From Universal Logic to Computer Science, and BackRazvan Diaconescu. 1-16 [doi]
- Event AnalyticsJin Song Dong, Jun Sun 0001, Yang Liu, Yuan-Fang Li. 17-24 [doi]
- A Logical Descriptor for Regular Languages via Stone DualityStefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio. 25-42 [doi]
- On Clock-Aware LTL Properties of Timed AutomataPeter Bezdek, Nikola Benes, Vojtech Havel, Jiri Barnat, Ivana Cerná. 43-60 [doi]
- Linguistic Mechanisms for Context-Aware SecurityChiara Bodei, Pierpaolo Degano, Letterio Galletta, Francesco Salvatori. 61-79 [doi]
- Partial Models and Weak EquivalenceAdilson Luiz Bonifácio, Arnaldo Vieira Moura. 80-96 [doi]
- Probabilistic Recursion Theory and Implicit Computational ComplexityUgo Dal Lago, Sara Zuppiroli. 97-114 [doi]
- Heterogeneous Timed MachinesBenoît Delahaye, José Luiz Fiadeiro, Axel Legay, Antónia Lopes. 115-132 [doi]
- Refinement of Structured Interactive SystemsDenisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu. 133-150 [doi]
- Reasoning Algebraically About Refinement on TSO ArchitecturesBrijesh Dongol, John Derrick, Graeme Smith. 151-168 [doi]
- Structural Refinement for the Modal nu-CalculusUli Fahrenberg, Axel Legay, Louis-Marie Traonouez. 169-187 [doi]
- Precise Interprocedural Side-Effect AnalysisManuel Geffken, Hannes Saffrich, Peter Thiemann. 188-205 [doi]
- Expressiveness via Intensionality and ConcurrencyThomas Given-Wilson. 206-223 [doi]
- Optimally Streaming Greedy Regular Expression ParsingNiels Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen. 224-240 [doi]
- Learning Cover Context-Free Grammars from Structural DataMircea Marin, Gabriel Istrate. 241-258 [doi]
- Context-Free SequencesDidier Caucal, Marion Le Gonidec. 259-276 [doi]
- Modular Reasoning for Message-Passing ProgramsJinjiang Lei, Zongyan Qiu. 277-294 [doi]
- Symbolic Analysis Tools for CSPLiyi Li, Elsa L. Gunter, William Mansky. 295-313 [doi]
- A Heterogeneous Characterisation of Component-Based System Design in a Categorical SettingCarlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum. 314-332 [doi]
- On Unary Fragments of MTL and TPTL over Timed WordsKhushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya. 333-350 [doi]
- A Behavioral Congruence for Concurrent Constraint Programming with Nondeterministic ChoiceLuis Fernando Pino, Filippo Bonchi, Frank D. Valencia. 351-368 [doi]
- Distributed Testing of Concurrent Systems: Vector Clocks to the RescueHernán Ponce de León, Stefan Haar, Delphine Longuet. 369-387 [doi]
- UTP Designs for Binary MultirelationsPedro Ribeiro, Ana Cavalcanti. 388-405 [doi]
- The Arithmetic of Recursively Run-Length Compressed Natural NumbersPaul Tarau. 406-423 [doi]
- Synchronous Parallel Composition in a Process Calculus for Ecological ModelsMauricio Toro, Anna Philippou, Christina Kassara, Spyros Sfenthourakis. 424-441 [doi]
- Finite Vector Spaces as Model of Simply-Typed Lambda-CalculiBenoît Valiron, Steve Zdancewic. 442-459 [doi]
- A Decidable Recursive Logic for Weighted Transition SystemsKim Guldstrand Larsen, Radu Mardare, Bingtian Xue. 460-476 [doi]