Abstract is missing.
- Verification of Concurrent Programs on Weak Memory ModelsOleg Travkin, Heike Wehrheim. 3-24 [doi]
- Petri Nets and Semilinear Sets (Extended Abstract)Hsu-Chun Yen. 25-29 [doi]
- Termination of Single-Path Polynomial Loop ProgramsYi Li. 33-50 [doi]
- Relation-Algebraic Verification of Prim's Minimum Spanning Tree AlgorithmWalter Guttmann. 51-68 [doi]
- Certified Impossibility Results and Analyses in Coq of Some Randomised Distributed AlgorithmsAllyx Fontaine, Akka Zemmari. 69-81 [doi]
- Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional ProgramsAnh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang. 82-99 [doi]
- Synthesis of Petri Nets with Whole-Place Operations and LocalitiesJetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny. 103-120 [doi]
- Schedulers and Finishers: On Generating the Behaviours of an Event StructureAnnabelle McIver, Tahiry M. Rabehaja, Georg Struth. 121-138 [doi]
- On the Expressiveness of Symmetric CommunicationThomas Given-Wilson, Axel Legay. 139-157 [doi]
- Towards MC/DC Coverage of Properties Specification PatternsAna C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi. 158-175 [doi]
- Unification for \lambda -calculi Without Propagation RulesFlávio L. C. de Moura. 179-195 [doi]
- Soundly Proving B Method Formulæ Using Typed Sequent CalculusPierre Halmagrand. 196-213 [doi]
- Deriving Inverse Operators for Modal LogicMichell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia. 214-232 [doi]
- Specifying Properties of Dynamic Architectures Using Configuration TracesDiego Marmsoler, Mario Gleirscher. 235-254 [doi]
- Behavioural Models for FMI Co-simulationsAna Cavalcanti, Jim Woodcock, Nuno Amálio. 255-273 [doi]
- An Abstract Model for Proving Safety of Autonomous Urban TrafficMartin Hilscher, Maike Schwammberger. 274-292 [doi]
- Unifying Heterogeneous State-Spaces with LensesSimon Foster, Frank Zeyda, Jim Woodcock. 295-314 [doi]
- Ensuring Correctness of Model Transformations While Remaining DecidableJon Haël Brenas, Rachid Echahed, Martin Strecker. 315-332 [doi]
- ProofScript: Proof Scripting for the MassesSteven Obua, Phil Scott, Jacques D. Fleuriot. 333-348 [doi]
- Derived-Term Automata for Extended Weighted Rational ExpressionsAkim Demaille. 351-369 [doi]
- Weighted Register Automata and Weighted Logic on Data WordsParvaneh Babari, Manfred Droste, Vitaly Perevoshchikov. 370-384 [doi]
- Hybrid Automata as CoalgebrasRenato Neves, Luís Soares Barbosa. 385-402 [doi]
- Temporal Logic Verification for Delay Differential EquationsPeter Nazier Mosaad, Martin Fränzle, Bai Xue. 405-421 [doi]
- Dynamic Logic with Binders and Its Application to the Development of Reactive SystemsAlexandre Madeira, Luís Soares Barbosa, Rolf Hennicker, Manuel A. Martins. 422-440 [doi]
- Propositional Dynamic Logic for Petri Nets with IterationMario R. F. Benevides, Bruno Lopes, Edward Hermann Haeusler. 441-456 [doi]
- ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to DeduktiRaphaël Cauderlier, Catherine Dubois. 459-468 [doi]
- Parametric Deadlock-Freeness Checking Timed AutomataÉtienne André. 469-478 [doi]