Abstract is missing.
- Turing Meets MilnerJos C. M. Baeten, Bas Luttik, Paul van Tilburg. 1-20 [doi]
- Concurrency and the Algebraic Theory of Effects - (Abstract)Gordon D. Plotkin. 21-22 [doi]
- A Turing EnigmaBrian Randell. 23-36 [doi]
- False Concurrency and Strange-but-True Machines - (Abstract)Peter Sewell. 37-38 [doi]
- Concurrent Games on VASS with InhibitionBéatrice Bérard, Serge Haddad, Mathieu Sassolas, Nathalie Sznajder. 39-52 [doi]
- Reachability Problem for Weak Multi-Pushdown AutomataWojciech Czerwinski, Piotr Hofman, Slawomir Lasota. 53-68 [doi]
- Reachability and Termination Analysis of Concurrent Quantum ProgramsNengkun Yu, Mingsheng Ying. 69-83 [doi]
- Making Weighted Containment Feasible: A Heuristic Based on Simulation and AbstractionGuy Avni, Orna Kupferman. 84-99 [doi]
- Avoiding Shared Clocks in Networks of Timed AutomataSandie Balaguer, Thomas Chatain. 100-114 [doi]
- Strategy Synthesis for Multi-Dimensional Quantitative ObjectivesKrishnendu Chatterjee, Mickael Randour, Jean-François Raskin. 115-131 [doi]
- Quantitative Languages Defined by Functional AutomataEmmanuel Filiot, Raffaella Gentilini, Jean-François Raskin. 132-146 [doi]
- A Comparison of Succinctly Represented Finite-State SystemsRomain Brenguier, Stefan Göller, Ocan Sankur. 147-161 [doi]
- All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSsAntti Valmari. 162-176 [doi]
- Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)Arnaud Da Costa Lopes, François Laroussinie, Nicolas Markey. 177-192 [doi]
- What Makes Atl* Decidable? A Decidable Fragment of Strategy LogicFabio Mogavero, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi. 193-208 [doi]
- Specifying Stateful Asynchronous Properties for Distributed ProgramsTzu-Chun Chen, Kohei Honda. 209-224 [doi]
- Synthesising Choreographies from Local Session TypesJulien Lange, Emilio Tuosto. 225-239 [doi]
- A Theory of History Dependent Abstractions for Learning Interface AutomataFides Aarts, Faranak Heidarian, Frits W. Vaandrager. 240-255 [doi]
- Linearizability with Ownership TransferAlexey Gotsman, Hongseok Yang. 256-271 [doi]
- Nested Protocols in Session TypesRomain Demangeon, Kohei Honda. 272-286 [doi]
- Intensional and Extensional Characterisation of Global Progress in the π-CalculusLuca Fossati, Kohei Honda, Nobuko Yoshida. 287-301 [doi]
- Duality and i/o-Types in the π-CalculusDaniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. 302-316 [doi]
- Spatial and Epistemic Modalities in Constraint-Based Process CalculiSophia Knight, Catuscia Palamidessi, Prakash Panangaden, Frank D. Valencia. 317-332 [doi]
- Fluid Model CheckingLuca Bortolussi, Jane Hillston. 333-347 [doi]
- Playing Stochastic Games PreciselyTaolue Chen, Vojtech Forejt, Marta Z. Kwiatkowska, Aistis Simaitis, Ashutosh Trivedi, Michael Ummels. 348-363 [doi]
- Efficient Modelling and Generation of Markov AutomataMark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga. 364-379 [doi]
- Exact Fluid Lumpability for Markovian Process AlgebraMax Tschaikowski, Mirco Tribastone. 380-394 [doi]
- Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational SemanticsDaniel Gebler, Wan Fokkink. 395-409 [doi]
- Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure TheoryHenning Kerstan, Barbara König. 410-424 [doi]
- Modeling Interval Order Structures with Partially Commutative MonoidsRyszard Janicki, Xiang Yin, Nadezhda Zubkova. 425-439 [doi]
- A Polynomial Translation of π-Calculus (FCP) to Safe Petri NetsRoland Meyer, Victor Khomenko, Reiner Hüchting. 440-455 [doi]
- Algebraic Structure of Combined TracesLukasz Mikulski. 456-470 [doi]
- Verification of Petri Nets with Read ArcsCésar Rodríguez, Stefan Schwoon. 471-485 [doi]
- Efficient Checking of Link-Reversal-Based Concurrent SystemsMatthias Függer, Josef Widder. 486-499 [doi]
- Efficient Coverability Analysis by Proof MinimizationAlexander Kaiser 0001, Daniel Kroening, Thomas Wahl. 500-515 [doi]
- A Framework for Formally Verifying Software Transactional Memory AlgorithmsMohsen Lesani, Victor Luchangco, Mark Moir. 516-530 [doi]
- Propositional Dynamic Logic with Converse and Repeat for Message-Passing SystemsRoy Mennicke. 531-546 [doi]
- MSO Decidability of Multi-Pushdown Systems via Split-WidthAiswarya Cyriac, Paul Gastin, K. Narayan Kumar. 547-561 [doi]
- Decidability Problems for Actor SystemsFrank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro. 562-577 [doi]